Models with the ω-property
From MaRDI portal
Publication:3822164
DOI10.2307/2275023zbMath0669.03039MaRDI QIDQ3822164
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
initial segment; cuts; recursive saturation; recursively saturated models; models with \(\omega\)-property
Related Items
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, Arithmetically saturated models of arithmetic
Cites Work
- Unnamed Item
- 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