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

DOI10.1007/BF02761121zbMATH Open0577.03016OpenAlexW2067381783MaRDI QIDQ1065791FDOQ1065791

Authors: 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

Recommendations

• The Bolzano-Weierstrass theorem in generalised analysis
• Making the hyperreal line both saturated and complete
• Remarks on weak notions of saturation in models of Peano arithmetic
• Relations between notions of gaplessness for non-Archimedean fields
• The theory of \(\kappa\)-like models of arithmetic

zbMATH Keywords

Kurepa treeBolzano-Weierstrass propertyAronszajn tree

Mathematics Subject Classification ID

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

Cites Work

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

Cited In (6)

• On the valuation field invented by A. Robinson and certain structures connected with it
• A reflection principle and its applications to nonstandard models
• UNCOUNTABLE REAL CLOSED FIELDS WITH PA INTEGER PARTS
• Scott incomplete Boolean ultrapowers of the real line
• Relations between notions of gaplessness for non-Archimedean fields
• The Bolzano-Weierstrass theorem in generalised analysis

This page was built for publication: Models of Peano arithmetic and a question of Sikorski on ordered fields

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