UNCOUNTABLE REAL CLOSED FIELDS WITH PA INTEGER PARTS

DOI10.1017/jsl.2014.57zbMath1358.03041arXiv1205.5156OpenAlexW2964336052MaRDI QIDQ5501767

David Marker, James H. Schmerl, Charles I. Steinhorn

Publication date: 14 August 2015

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

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

zbMATH Keywords

Peano arithmeticreal closed fieldrecursively saturated model\(\omega_{1}\)-like model

Mathematics Subject Classification ID

Model-theoretic algebra (03C60) First-order arithmetic and fragments (03F30) Nonstandard models of arithmetic (03H15) Models of arithmetic and set theory (03C62) Models with special properties (saturated, rigid, etc.) (03C50)

Related Items

On the value group of a model of Peano arithmetic, Real closures of models of weak arithmetic, Incomparable ω₁‐like models of set theory, Models of true arithmetic are integer parts of models of real exponentation

Cites Work

• Unnamed Item
• Models of Peano arithmetic and a question of Sikorski on ordered fields
• The elementary theory of restricted analytic fields with exponentiation
• Embedding ordered fields in formal power series fields
• Real closures of models of weak arithmetic
• Exponentiation in power series fields
• Model Theory