Some remarks on initial segments in models of Peano arithmetic

DOI10.2307/2274150zbMath0574.03052OpenAlexW2033709165MaRDI QIDQ3691674

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

models of arithmeticorder typeindicatorCantor spaceorder completionnon-standard model of Peano arithmetic

Mathematics Subject Classification ID

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

Related Items (2)

Truth in generic cuts ⋮ Automorphisms of recursively saturated models of arithmetic

Cites Work

• Unnamed Item
• Recursively saturated nonstandard models of arithmetic
• Some independence results for Peano arithmetic

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