Recursively Saturated Real Closed Fields and Models of Peano Arithmetic

Explore the intricate connections between real closed fields and models of Peano arithmetic in this mathematical lecture that examines integer parts of real closed fields and their correspondence with models of Open Induction. Discover IPA-real closed fields, which are real closed fields admitting integer parts that model Peano Arithmetic, and learn how they relate to models of real exponentiation through explicit descriptions of their value groups under natural valuation. Investigate the recursive saturation properties of IPA real closed fields and understand the bidirectional relationship that holds in countable cases. Examine a comprehensive valuation theoretic characterization of recursively saturated real closed fields through their value groups, residue fields, and pseudo convergence of distinguished pseudo-Cauchy sequences. Synthesize these theoretical frameworks to obtain explicit descriptions of countable IPA-real closed fields, bridging advanced concepts in model theory, real algebraic geometry, and arithmetic. This research presentation represents collaborative work with M. Carl, P. D'Aquino, and K. Lange, offering insights into the deep structural relationships between algebraic and arithmetic mathematical objects.