Some highly saturated models of Peano arithmetic

DOI10.2178/JSL/1190150284MaRDI QIDQ4451718zbMATH OpenOpenAlexFDO

Authors James H. Schmerl

Publication date 1 March 2004

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

Full work available at URL https://doi.org/10.2178/jsl/1190150284

zbMATH Keywords

models of arithmeticrather classless modelssaturated models

Mathematics Subject Classification ID

Models with special properties (saturated, rigid, etc.) (03C50) Models of arithmetic and set theory (03C62) Nonstandard models of arithmetic (03H15)

Recommendations

• Remarks on weak notions of saturation in models of Peano arithmetic
• scientific article; zbMATH DE number 2144534
• Elementary cuts in saturated models of Peano arithmetic
• The Barwise-Schlipf theorem
• A Note on Real Subsets of A Recursively Saturated Model
• Regularity in models of arithmetic
• Truth in generic cuts
• scientific article; zbMATH DE number 1827971
• scientific article; zbMATH DE number 4006270
• scientific article; zbMATH DE number 1222930

Cites work

• scientific article; zbMATH DE number 51556 (Why is no real title available?)
• Remarks on weak notions of saturation in models of Peano arithmetic
• Type two cuts, bad cuts and very bad cut
• Vive la différence. II: The Ax-Kochen isomorphism theorem

Cited in

(7)

• Minimal satisfaction classes with an application to rigid models of Peano arithmetic
• Definability of initial segments
• Remarks on weak notions of saturation in models of Peano arithmetic
• Model-theoretic properties characterizing Peano arithmetic
• scientific article; zbMATH DE number 1222930 (Why is no real title available?)
• Elementary cuts in saturated models of Peano arithmetic
• Saturation and simple extensions of models of Peano arithmetic

This page was built for publication: Some highly saturated models of Peano arithmetic

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