Publication: Models of true arithmetic are integer parts of models of real exponentation
Models of true arithmetic are integer parts of models of real exponentation
Date
Date
Date
Citations
Carl, M., & Krapp, L. S. (2021). Models of true arithmetic are integer parts of models of real exponentation. Journal of Logic and Analysis, 13, 1–21. https://doi.org/10.4115/jla.2021.13.3
Abstract
Abstract
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 arithmetic is an integer part of an exponential real closed field that is elementarily equivalent to the real numbers with exponentiation and that each model of Peano arithmetic is an integer part of a real closed field that admits an isomorphism between its ordered additive and its ordered multiplicative group of positive elements. Under the
Metrics
Downloads
Views
Additional indexing
Creators (Authors)
- Carl, Merlin
- Krapp, Lothar Sebastian
Volume
Volume
Volume
Number
Number
Number
Page range/Item number
Page range/Item number
Page range/Item number
Page end
Page end
Page end
Item Type
Item Type
Item Type
In collections
Dewey Decimal Classifikation
Dewey Decimal Classifikation
Dewey Decimal Classifikation
Language
Language
Language
Publication date
Publication date
Publication date
Date available
Date available
Date available
ISSN or e-ISSN
ISSN or e-ISSN
ISSN or e-ISSN
OA Status
OA Status
OA Status
Free Access at
Free Access at
Free Access at
Publisher DOI
Metrics
Downloads
Views
Citations
Carl, M., & Krapp, L. S. (2021). Models of true arithmetic are integer parts of models of real exponentation. Journal of Logic and Analysis, 13, 1–21. https://doi.org/10.4115/jla.2021.13.3
