Models of Peano arithmetic and a question of Sikorski on ordered fields

DOI10.1007/BF02761121zbMath0577.03016OpenAlexW2067381783MaRDI QIDQ1065791

James H. Schmerl

Publication date: 1985

Published in: Israel Journal of Mathematics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf02761121

zbMATH Keywords

Aronszajn treeKurepa treeBolzano-Weierstrass property

Mathematics Subject Classification ID

Continuum hypothesis and Martin's axiom (03E50) Nonstandard models of arithmetic (03H15) Models of other mathematical theories (03C65) Ordered fields (12J15) Model theory of fields (12L12)

Related Items

On the valuation field invented by A. Robinson and certain structures connected with it, Scott incomplete Boolean ultrapowers of the real line, A reflection principle and its applications to nonstandard models, UNCOUNTABLE REAL CLOSED FIELDS WITH PA INTEGER PARTS, Unnamed Item

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Lindelöf models of the reals: solution to a problem of Sikorski
• Correction to Peano models with many generic classes
• Generalized Archimedean fields
• Order types, trees, and a problem of Erdős and Hajnal
• Model theoretic algebra. Selected topics
• Peano models with many generic classes
• The combinatorial principle ⋄^#
• Generalized Archimedean fields and logics with Malitz quantifiers
• A new construction of a Kurepa tree with no Aronszajn subtree
• Morasses, diamond, and forcing
• Trees, subtrees and order types
• A Rather Classless Model
• Models with second order properties II. Trees with no undefined branches
• On a problem of Sikorski
• Remarks on some topological spaces of high power