Model theory of the regularity and reflection schemes
From MaRDI portal
Publication:938239
DOI10.1007/S00153-008-0089-ZzbMath1149.03026OpenAlexW2057524630MaRDI QIDQ938239
Ali Enayat, Shahram Mohsenipour
Publication date: 18 August 2008
Published in: Archive for Mathematical Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s00153-008-0089-z
Logic with extra quantifiers and operators (03C80) Models of arithmetic and set theory (03C62) Model theory of ordered structures; o-minimality (03C64)
Related Items (2)
Local collection and end-extensions of models of compositional truth ⋮ Model theory of the inaccessibility scheme
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Models of set theory with definable ordinals
- ``Gap 1 two-cardinal principles and the omitting types theorem for \(\mathcal L(\mathcal Q)\)
- Levy and set theory
- Some model theoretic results for \(\omega\)-logic
- Model theory for infinitary logic. Logic with countable conjunctions and finite quantifiers
- An application of games to the completeness problem for formalized theories
- Blunt and topless end extensions of models of set theory
- On Certain Elementary Extensions of Models of Set Theory
- Regularity in models of arithmetic
- Generalizing special Aronszajn trees
- Generalized Quantifiers and Compact Logic
- An introduction to recursively saturated and resplendent models
- On κ-like structures which embed stationary and closed unbounded subsets
- Elementary extensions of countable models of set theory
- Toward model theory through recursive saturation
- End extensions and numbers of countable models
- Power-like models of set theory
- On power-like models for hyperinaccessible cardinals
- Set Theory
- Recursive logic frames
- A gap 1 cardinal transfer theorem
- A Note on the Two Cardinal Problem
- Powers of regular cardinals
- Comparison of the axioms of local and universal choice
- The fine structure of the constructible hierarchy
This page was built for publication: Model theory of the regularity and reflection schemes
