On elementary cuts in models of arithmetic

DOI10.4064/FM-115-1-27-31MaRDI QIDQ3661576zbMATH OpenOpenAlexFDO

Authors 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)