Real closed fields and models of Peano arithmetic
From MaRDI portal
Publication:5190186
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
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