Large cardinals, inner models, and determinacy: an introductory overview
From MaRDI portal
DOI10.1215/00294527-2835083zbMath1371.03072OpenAlexW1996640560MaRDI 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
Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Inner models, including constructibility, ordinal definability, and core models (03E45) Large cardinals (03E55) Determinacy principles (03E60)
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