Publication:3691674

DOI10.2307/2274150zbMATH Open0574.03052OpenAlexW2033709165MaRDI QIDQ3691674FDOQ3691674

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 spaceorder typemodels of arithmeticindicatororder completionnon-standard model of Peano arithmetic

Mathematics Subject Classification ID

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

Cites Work

• Title not available (Why is that?)
• Some independence results for Peano arithmetic
• Recursively saturated nonstandard models of arithmetic

Cited In (5)

• The Barwise-Schlipf theorem
• On the structure of initial segments of models of arithmetic
• UNCOUNTABLE REAL CLOSED FIELDS WITH PA INTEGER PARTS
• Truth in generic cuts
• Automorphisms of recursively saturated models of arithmetic

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)