Real closed fields and models of Peano arithmetic

DOI10.2178/jsl/1264433906zbMath1186.03061OpenAlexW1975385399MaRDI QIDQ5190186

Paola D'Aquino, Julia F. Knight, Sergei Starchenko

Publication date: 15 March 2010

Published in: The Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2178/jsl/1264433906

zbMATH Keywords

real closed fieldinteger partrecursive saturationnonstandard model

Mathematics Subject Classification ID

Nonstandard models of arithmetic (03H15) Models of arithmetic and set theory (03C62)

Related Items

On the value group of a model of Peano arithmetic, Corrigendum to: “Real closed fields and models of arithmetic”, Real closures of models of weak arithmetic, Models of VTC0$\mathsf {VTC^0}$ as exponential integer parts, Limit computable integer parts, Algebraic combinatorics in bounded induction, Representing Scott sets in algebraic settings, Models of true arithmetic are integer parts of models of real exponentation, A construction of real closed fields

Cites Work

• Recursively saturated models generated by indiscernibles
• Arithmetization of the field of reals with exponentiation extended abstract
• An introduction to recursively saturated and resplendent models
• Unnamed Item