On Extensions of Models of Strong Fragments of Arithmetic

DOI10.2307/2047717zbMath0687.03017OpenAlexW4211261409MaRDI QIDQ4205426

Roman Kossak

Publication date: 1990

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

zbMATH Keywords

automorphismsmodels of arithmeticend extensionsrecursive saturationfragments of arithmeticcofinal extensionsnot always semiregularity of models

Mathematics Subject Classification ID

Nonstandard models of arithmetic (03H15) Models of arithmetic and set theory (03C62) Models with special properties (saturated, rigid, etc.) (03C50) Properties of classes of models (03C52)

Related Items

Reduction games, provability and compactness, HOW STRONG IS RAMSEY’S THEOREM IF INFINITY CAN BE WEAK?, Mathematical logic: proof theory, constructive mathematics. Abstracts from the workshop held November 8--14, 2020 (hybrid meeting), Subsets of models of arithmetic

Cites Work

• A certain class of models of Peano arithmetic
• A note on the Mac Dowell-Specker theorem
• Models with the ω-property
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item