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

DOI10.4115/JLA.2021.13.3MaRDI QIDQ4989722zbMATH OpenOpenAlexFDO

Authors Merlin Carl, Lothar Sebastian Krapp

Publication date 26 May 2021

Published in Journal of Logic and Analysis (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://arxiv.org/abs/1307.6595

zbMATH Keywords

exponential fieldsinteger partsPeano arithmeticreal exponentiationtrue arithmetic

Mathematics Subject Classification ID

Model-theoretic algebra (03C60) Models of arithmetic and set theory (03C62) Model theory of ordered structures; o-minimality (03C64) Nonstandard models of arithmetic (03H15) Total orders (06A05) Ordered fields (12J15) Model theory of fields (12L12)

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 elementary equivalent to the reals with exponentiation.

Recommendations

• On the value group of a model of Peano arithmetic
• scientific article; zbMATH DE number 440484
• Arithmetization of the field of reals with exponentiation extended abstract
• Real closed fields and models of Peano arithmetic
• scientific article; zbMATH DE number 5953963

Cites work

• An analogue of the Baire category theorem
• Definably complete Baire structures
• Exponentiation in power series fields
• scientific article; zbMATH DE number 424614 (Why is no real title available?)
• scientific article; zbMATH DE number 53151 (Why is no real title available?)
• scientific article; zbMATH DE number 3465382 (Why is no real title available?)
• scientific article; zbMATH DE number 1169378 (Why is no real title available?)
• scientific article; zbMATH DE number 3214534 (Why is no real title available?)
• scientific article; zbMATH DE number 5251297 (Why is no real title available?)
• Mini-workshop: Surreal numbers, surreal analysis, Hahn fields and derivations. Abstracts from the mini-workshop held December 18--23, 2016
• Model completeness results for expansions of the ordered field of real numbers by restricted Pfaffian functions and the exponential function
• On the real exponential field with restricted analytic functions
• On the value group of a model of Peano arithmetic
• Ordered exponential fields
• Projections of semi-analytic sets
• Real closed fields and models of Peano arithmetic
• Subsystems of second order arithmetic
• Turing meets Schanuel
• UNCOUNTABLE REAL CLOSED FIELDS WITH PA INTEGER PARTS
• Value groups and residue fields of models of real exponentiation

Cited in

(6)

• On the value group of a model of Peano arithmetic
• scientific article; zbMATH DE number 440484 (Why is no real title available?)
• UNCOUNTABLE REAL CLOSED FIELDS WITH PA INTEGER PARTS
• Models of VTC0$\mathsf {VTC^0}$ as exponential integer parts
• Ordered transexponential fields
• Analogues of Shepherdson's theorem for a language with exponentiation

This page was built for publication: Models of true arithmetic are integer parts of models of real exponentation

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4989722)