Models of true arithmetic are integer parts of nice real closed fields

2013/07/24 by Merlin Carl, Carl, Merlin
Computer Science · Mathematics · #Advanced Topology and Set Theory #Computability, Logic, AI Algorithms #FOS: Mathematics #Logic (math.LO) #Mathematical and Theoretical Analysis

paper · pdf · doi:10.48550/arxiv.1307.6595

openalex publication_date 2013/07/24 · openalex created_date 2025/10/10 · openalex updated_date 2026/08/01

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.

Related

• Uncountable Real Closed Fields with PA Integer Parts
• Undefinability and Absolute Undefinability in Arithmetic
• Fields with pseudo-exponentiation
• Modifying the Field Axioms to Create Infinite and Infinitesimal Real Numbers
• Axioms for the Real Numbers: A Constructive Approach