Extendible Sets in Peano Arithmetic
From MaRDI portal
Publication:3832550
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; zbMATH DE number 177637
- Peano Arithmetic and Hyper-Ramsey Logic
- Expanding the additive reduct of a model of Peano arithmetic
Cites work
- scientific article; zbMATH DE number 3732051 (Why is no real title available?)
- scientific article; zbMATH DE number 3566838 (Why is no real title available?)
- scientific article; zbMATH DE number 3204609 (Why is no real title available?)
- A Rather Classless Model
- An introduction to recursively saturated and resplendent models
- Cofinal extensions of nonstandard models of arithmetic
- Model theory
- On cofinal extensions of models of arithmetic
- Recursively saturated nonstandard models of arithmetic
- Saturation and simple extensions of models of Peano arithmetic
Cited in
(14)- Subsets coded in elementary end extensions
- Cofinal elementary extensions
- Neutrally expandable models of arithmetic
- Subsets of models of arithmetic
- Transplendent models: expansions omitting a type
- Enayat models of Peano arithmetic
- Conservative extensions of models of set theory and generalizations
- Totally non-immune sets
- Relatively Recursively Enumerable Versus Relatively Σ1 in Models of Peano Arithmetic
- Ehrenfeucht's lemma in set theory
- Elementary Extensions of Models of the Alternative Set Theory
- Nonstandard definability
- Minimal elementary end extensions
- scientific article; zbMATH DE number 3557789 (Why is no real title available?)
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)
