Extendible Sets in Peano Arithmetic

DOI10.2307/2001288zbMATH Open0677.03026OpenAlexW4234135970MaRDI QIDQ3832550FDOQ3832550

Stuart T. Smith

Publication date: 1989

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

zbMATH Keywords

end extensionscountable modelmodels of arithmeticcofinal extensionsextendible sets

Mathematics Subject Classification ID

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

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Model theory
• An introduction to recursively saturated and resplendent models
• A Rather Classless Model
• On cofinal extensions of models of arithmetic
• Saturation and simple extensions of models of Peano arithmetic
• Recursively saturated nonstandard models of arithmetic
• Cofinal extensions of nonstandard models of arithmetic

Cited In (7)

• Cofinal elementary extensions
• Subsets of models of arithmetic
• Transplendent models: expansions omitting a type
• Conservative extensions of models of set theory and generalizations
• Relatively Recursively Enumerable Versus Relatively Σ₁ in Models of Peano Arithmetic
• Elementary Extensions of Models of the Alternative Set Theory
• Nonstandard definability

   Recommendations

• Definable sets and expansions of models of Peano arithmetic 👍 👎
• Maximal sets and fragments of Peano arithmetic 👍 👎
• On expandability of models of Peano arithmetic to models of the alternative set theory 👍 👎
• Extensionality in Zermelo‐Fraenkel Set Theory 👍 👎
• Extending properly n - REA sets1 👍 👎
• Title not available (Why is that?) 👍 👎
• Peano Arithmetic and Hyper-Ramsey Logic 👍 👎
• Expanding the additive reduct of a model of Peano arithmetic 👍 👎

This page was built for publication: Extendible Sets in Peano Arithmetic

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