UNCOUNTABLE REAL CLOSED FIELDS WITH PA INTEGER PARTS

DOI10.1017/JSL.2014.57zbMATH Open1358.03041arXiv1205.5156OpenAlexW2964336052MaRDI QIDQ5501767FDOQ5501767

Authors: David Marker, James H. Schmerl, Charles Steinhorn 

Publication date: 14 August 2015

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

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.

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

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

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)

Cites Work

• The elementary theory of restricted analytic fields with exponentiation
• Model Theory
• Embedding ordered fields in formal power series fields
• Exponentiation in power series fields
• The structure of models of Peano arithmetic
• Models of Peano arithmetic and a question of Sikorski on ordered fields
• Real closures of models of weak 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
• Real closed fields and models of Peano arithmetic
• A construction of real closed fields
• Structures associated with real closed fields and the axiom of choice
• 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)