UNCOUNTABLE REAL CLOSED FIELDS WITH PA INTEGER PARTS

DOI10.1017/JSL.2014.57MaRDI QIDQ5501767zbMATH OpenOpenAlexFDO

Authors David Marker, James H. Schmerl, Charles Steinhorn

Publication date 14 August 2015

Published in 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

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

Abstract: D'Aquino, Knight and Starchenko classified the countable real closed fields with integer parts that are nonstandard models of Peano Arithmetic. We rule out some possibilities for extending their results to the uncountable and study real closures of $omeg{a}_1$-like models of PA.

Recommendations

• Real closures of models of weak arithmetic
• Real closed fields and models of Peano arithmetic
• Models of true arithmetic are integer parts of models of real exponentation
• A Note on Real Subsets of A Recursively Saturated Model
• Complexity of structures associated with real closed fields
• Some remarks on initial segments in models of Peano arithmetic
• A Generalization of a Theorem of H. Friedman
• Order-types of models of arithmetic and a connection with arithmetic saturation
• scientific article; zbMATH DE number 1222926
• Minimal satisfaction classes with an application to rigid models of Peano arithmetic

Cites work

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

Cited in

(9)

• Every real closed field has an integer part
• Models of true arithmetic are integer parts of models of real exponentation
• Proper and piecewise proper families of reals
• On the value group of a model of Peano arithmetic
• Structures associated with real closed fields and the axiom of choice
• Real closed fields and models of Peano arithmetic
• A construction of real closed fields
• Real closures of models of weak arithmetic
• Incomparable \(\omega_1\)-like models of set theory

This page was built for publication: UNCOUNTABLE REAL CLOSED FIELDS WITH PA INTEGER PARTS

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5501767)