Extendible Sets in Peano Arithmetic

DOI10.2307/2001288zbMATH Open0677.03026OpenAlexW4234135970MaRDI QIDQ3832550FDOQ3832550

Authors: Stuart T. Smith 

Publication date: 1989

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

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
• scientific article
• Peano Arithmetic and Hyper-Ramsey Logic
• Expanding the additive reduct of a model of Peano arithmetic

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

• Model theory
• An introduction to recursively saturated and resplendent models
• Title not available (Why is that?)
• Title not available (Why is that?)
• A Rather Classless Model
• Title not available (Why is that?)
• 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 (8)

• 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
• Title not available (Why is that?)

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)