Models of true arithmetic are integer parts of models of real exponentation
From MaRDI portal
Publication:4989722
DOI10.4115/jla.2021.13.3zbMath1493.03005arXiv1307.6595OpenAlexW3162580024MaRDI QIDQ4989722
Lothar Sebastian Krapp, Merlin Carl
Publication date: 26 May 2021
Published in: Journal of Logic and Analysis (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1307.6595
Model-theoretic algebra (03C60) Nonstandard models of arithmetic (03H15) Models of arithmetic and set theory (03C62) Total orders (06A05) Model theory of ordered structures; o-minimality (03C64) Ordered fields (12J15) Model theory of fields (12L12)
Related Items (1)
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- On the real exponential field with restricted analytic functions
- Ordered exponential fields
- Mini-workshop: Surreal numbers, surreal analysis, Hahn fields and derivations. Abstracts from the mini-workshop held December 18--23, 2016
- On the value group of a model of Peano arithmetic
- Projections of semi-analytic sets
- Turing meets Schanuel
- Definably complete Baire structures
- Exponentiation in power series fields
- An analogue of the Baire category theorem
- Real closed fields and models of Peano arithmetic
- Value Groups and Residue Fields of Models of Real Exponentiation
- UNCOUNTABLE REAL CLOSED FIELDS WITH PA INTEGER PARTS
- Model completeness results for expansions of the ordered field of real numbers by restricted Pfaffian functions and the exponential function
This page was built for publication: Models of true arithmetic are integer parts of models of real exponentation