Some remarks on initial segments in models of Peano arithmetic

DOI10.2307/2274150MaRDI QIDQ3691674zbMATH OpenOpenAlexFDO

Authors Henryk Kotlarski

Publication date 1984

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

Full work available at URL https://doi.org/10.2307/2274150

zbMATH Keywords

Cantor spaceindicatormodels of arithmeticnon-standard model of Peano arithmeticorder completionorder type

Mathematics Subject Classification ID

Properties of classes of models (03C52) Models of arithmetic and set theory (03C62) Nonstandard models of arithmetic (03H15)

Recommendations

• scientific article; zbMATH DE number 4012612
• scientific article; zbMATH DE number 4006270
• scientific article; zbMATH DE number 4006271
• Submodels and definable points in models of Peano arithmetic
• Order types of models of fragments of Peano arithmetic

Cites work

• scientific article; zbMATH DE number 3027246 (Why is no real title available?)
• Recursively saturated nonstandard models of arithmetic
• Some independence results for Peano arithmetic

Cited in

(15)

• On the structure of initial segments of models of arithmetic
• Automorphisms of recursively saturated models of arithmetic
• Models of PA: when two elements are necessarily order automorphic
• A Generalization of a Theorem of H. Friedman
• scientific article; zbMATH DE number 4006270 (Why is no real title available?)
• scientific article; zbMATH DE number 4006271 (Why is no real title available?)
• scientific article; zbMATH DE number 4012612 (Why is no real title available?)
• scientific article; zbMATH DE number 1827971 (Why is no real title available?)
• scientific article; zbMATH DE number 778297 (Why is no real title available?)
• Order types of models of fragments of Peano arithmetic
• The Barwise-Schlipf theorem
• UNCOUNTABLE REAL CLOSED FIELDS WITH PA INTEGER PARTS
• Truth in generic cuts
• A sharpened version of McAloon's theorem on initial segments of models of \(I\Delta_ 0\)
• Models of Peano arithmetic as modules over initial segments

This page was built for publication: Some remarks on initial segments in models of Peano arithmetic

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