Some highly saturated models of Peano arithmetic

DOI10.2178/JSL/1190150284zbMATH Open1038.03045OpenAlexW2051616029MaRDI QIDQ4451718FDOQ4451718

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

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

zbMATH Keywords

models of arithmeticsaturated modelsrather classless 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)

Cites Work

• Title not available (Why is that?)
• Vive la différence. II: The Ax-Kochen isomorphism theorem
• Remarks on weak notions of saturation in models of Peano arithmetic
• Type two cuts, bad cuts and very bad cut

Cited In (5)

• Remarks on weak notions of saturation in models of Peano arithmetic
• Model-theoretic properties characterizing Peano arithmetic
• Definability of initial segments
• Minimal satisfaction classes with an application to rigid 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)