On elementary cuts in models of arithmetic

DOI10.4064/FM-115-1-27-31zbMATH Open0515.03038OpenAlexW821107996MaRDI QIDQ3661576FDOQ3661576

Henryk Kotlarski

Publication date: 1983

Published in: Fundamenta Mathematicae (Search for Journal in Brave)

Full work available at URL: https://eudml.org/doc/211327

zbMATH Keywords

orderPeano arithmeticsaturated model

Mathematics Subject Classification ID

Categoricity and completeness of theories (03C35) First-order arithmetic and fragments (03F30) Ordinal and cardinal numbers (03E10)

Cited In (2)

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

This page was built for publication: On elementary cuts in models of arithmetic

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