Large cardinals, inner models, and determinacy: an introductory overview
From MaRDI portal
Publication:2345399
DOI10.1215/00294527-2835083zbMath1371.03072MaRDI QIDQ2345399
Publication date: 22 May 2015
Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)
Full work available at URL: https://projecteuclid.org/euclid.ndjfl/1427202981
03-02: Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations
03E45: Inner models, including constructibility, ordinal definability, and core models
03E55: Large cardinals
03E60: Determinacy principles
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Borel determinacy
- Measurable cardinals and the continuum hypothesis
- A basis theorem for \(\sum^ 1_ 3\) sets of reals
- Square in Core Models
- Large Cardinals from Determinacy
- Representing Sets of Ordinals as Countable Unions of Sets in the Core Model
- Elementary embeddings and infinitary combinatorics
- A Proof of Projective Determinacy
- The core model
- Strong axioms of infinity and elementary embeddings
- Analytic determinacy and 0#
- Ramsey cardinals and constructibility
- Inner Models and Large Cardinals
- Jónsson cardinals, Erdős cardinals, and the core model
- On the Lebesgue measurability and the axiom of determinateness
- Incompactness in languages with infinitely long expressions
- Higher set theory and mathematical practice
- Measurable cardinals and analytic games
- Some applications of iterated ultrapowers in set theory
- CHARACTERIZATION OF □κ IN CORE MODELS