Models of true arithmetic are integer parts of models of real exponentation
Work
Year: 2021
Type: article
Abstract: Exploring further the connection between exponentiation on real closed fields and the existence of an integer part modelling strong fragments of arithmetic, we demonstrate that each model of true arit... more
Source: Journal of Logic and Analysis
Authors Merlin Carl, Lothar Sebastian Krapp
Cites: 18
Cited by: 2
Related to: 10
FWCI: 0.259
Citation percentile (by year/subfield): 51.97
Subfield: Computational Theory and Mathematics
Field: Computer Science
Domain: Physical Sciences
Open Access status: diamond