Models of true arithmetic are integer parts of models of real exponentation

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

zbMATH Keywords

Peano arithmeticexponential fieldstrue arithmeticinteger partsreal exponentiation

Mathematics Subject Classification ID

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)

Models of VTC0$\mathsf {VTC^0}$ as exponential integer parts

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