On cofinal extensions of models of arithmetic

DOI10.2307/2273545zbMath0537.03051OpenAlexW2167687907MaRDI QIDQ3322105

Henryk Kotlarski

Publication date: 1983

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

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

zbMATH Keywords

end extensiontransfinite inductionsaturated modelsimple extensionexpandabilityoverspillcofinal extensionsSkolem closuresaturatedness

Mathematics Subject Classification ID

Nonstandard models of arithmetic (03H15)

Related Items

Automorphisms of recursively saturated models of arithmetic ⋮ Largest initial segments pointwise fixed by automorphisms of models of set theory ⋮ Saturation and simple extensions of models of Peano arithmetic ⋮ Extendible Sets in Peano Arithmetic

Cites Work

• On expandability of models of Peano arithmetic. I
• On Skolem Ultrapowers and Their Non‐Standard Variant
• Recursively saturated nonstandard models of arithmetic