Recursively Saturated Models of Set Theory
From MaRDI portal
Publication:3902995
DOI10.2307/2042160zbMath0455.03022OpenAlexW4238331523MaRDI QIDQ3902995
Publication date: 1980
Full work available at URL: https://doi.org/10.2307/2042160
Axiomatics of classical set theory and its fragments (03E30) Nonclassical and second-order set theories (03E70) Models with special properties (saturated, rigid, etc.) (03C50) Set-theoretic model theory (03C55) Nonstandard models (03H99)
Related Items (2)
Cites Work
- Elementary induction on abstract structures
- Global and local choice functions
- A Generalized Kleene-Moschovakis Theorem
- A guide to the identification of admissible sets above structures
- Models with compactness properties relative to an admissible language
- Toward model theory through recursive saturation
- Comparison of the axioms of local and universal choice
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
This page was built for publication: Recursively Saturated Models of Set Theory