Models with the ω-property

DOI10.2307/2275023zbMath0669.03039OpenAlexW1603836436MaRDI QIDQ3822164

Roman Kossak

Publication date: 1989

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

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

zbMATH Keywords

initial segmentcutsrecursive saturationrecursively saturated modelsmodels with \(\omega\)-property

Mathematics Subject Classification ID

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

Related Items (5)

Arithmetically saturated models of arithmetic ⋮ On Extensions of Models of Strong Fragments of Arithmetic ⋮ Pathologies in satisfaction classes ⋮ Automorphisms of recursively saturated models of arithmetic ⋮ On cofinal submodels and elementary interstices

Cites Work

• Saturation and simple extensions of models of Peano arithmetic
• Recursively saturated \(\omega _ 1\)-like models of arithmetic
• A note on initial segment constructions in recursively saturated models of arithmetic
• A note on satisfaction classes
• Remarks on weak notions of saturation in models of Peano arithmetic
• Unnamed Item

This page was built for publication: Models with the ω-property