On Extensions of Models of Strong Fragments of Arithmetic

DOI10.2307/2047717MaRDI QIDQ4205426zbMATH OpenOpenAlexFDO

Authors Roman Kossak

Publication date 1990

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

zbMATH Keywords

automorphismscofinal extensionsend extensionsfragments of arithmeticmodels of arithmeticnot always semiregularity of modelsrecursive saturation

Mathematics Subject Classification ID

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

Recommendations

• On cofinal extensions of models of fragments of arithmetic
• Cofinal elementary extensions
• On cofinal extensions of models of arithmetic
• End-extending models of IΔ_0 + exp + ΒΣ_1
• On two problems concerning end extensions

Cites work

• A certain class of models of Peano arithmetic
• A note on the Mac Dowell-Specker theorem
• scientific article; zbMATH DE number 4137758 (Why is no real title available?)
• scientific article; zbMATH DE number 3904585 (Why is no real title available?)
• scientific article; zbMATH DE number 3689386 (Why is no real title available?)
• scientific article; zbMATH DE number 3784875 (Why is no real title available?)
• scientific article; zbMATH DE number 3566838 (Why is no real title available?)
• Models with the ω-property

Cited in

(10)

• On cofinal extensions of models of fragments of arithmetic
• Subsets of models of arithmetic
• Mathematical logic: proof theory, constructive mathematics. Abstracts from the workshop held November 8--14, 2020 (hybrid meeting)
• Preservation of model-theoretic properties of -fractions
• On cofinal extensions of models of arithmetic
• A Correction to "On Extensions of Models of Strong Fragments of Arithmetic"
• Disturbing arithmetic
• Reduction games, provability and compactness
• HOW STRONG IS RAMSEY’S THEOREM IF INFINITY CAN BE WEAK?
• An isomorphism theorem for models of weak König's lemma without primitive recursion

This page was built for publication: On Extensions of Models of Strong Fragments of Arithmetic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4205426)