IN SEARCH OF ULTIMATE-LTHE 19TH MIDRASHA MATHEMATICAE LECTURES
From MaRDI portal
Publication:5283453
DOI10.1017/bsl.2016.34zbMath1420.03134OpenAlexW2604352492MaRDI QIDQ5283453
Publication date: 21 July 2017
Published in: The Bulletin of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1017/bsl.2016.34
Inner models, including constructibility, ordinal definability, and core models (03E45) Large cardinals (03E55) Determinacy principles (03E60)
Related Items
On -Strongly Measurable Cardinals ⋮ Is there an ontology of infinity? ⋮ The linearity of the Mitchell order ⋮ STEEL’S PROGRAMME: EVIDENTIAL FRAMEWORK, THE CORE AND ULTIMATE-L ⋮ Interview With a Set Theorist ⋮ The Hypothesis and a supercompact cardinal ⋮ How many real numbers are there? ⋮ Hierarchical multiverse of sets ⋮ Applying generic coding with help to uniformizations ⋮ WHAT IS A RESTRICTIVE THEORY? ⋮ Strongly compact cardinals and ordinal definability ⋮ The exact consistency strength of the generic absoluteness for the universally Baire sets ⋮ TWO ARGUMENTS AGAINST THE GENERIC MULTIVERSE ⋮ Strong combinatorial principles and level by level equivalence ⋮ More on HOD-supercompactness ⋮ The Ultrapower Axiom ⋮ A brief account of recent developments in inner model theory ⋮ N-BERKELEY CARDINALS AND WEAK EXTENDER MODELS ⋮ Covering with Chang models over derived models ⋮ Martin's maximum\(^{++}\) implies Woodin's axiom \((*)\) ⋮ LARGE CARDINALS BEYOND CHOICE ⋮ Structural relativity and informal rigour ⋮ DEPENDENT CHOICE, PROPERNESS, AND GENERIC ABSOLUTENESS ⋮ Hintikka and the functions of logic ⋮ 𝖲𝖾𝖺𝗅𝗂𝗇𝗀 from iterability ⋮ A RECONSTRUCTION OF STEEL’S MULTIVERSE PROJECT ⋮ SEALING OF THE UNIVERSALLY BAIRE SETS
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Descriptive set theory
- Inner models in the region of a Woodin limit of Woodin cardinals
- On the role of supercompact and extendible cardinals in logic
- SUITABLE EXTENDER MODELS I
- Deconstructing inner model theory
- Elementary embeddings and infinitary combinatorics
- A Proof of Projective Determinacy
- Iteration Trees
- A very weak square principle
- Extensions with the approximation and cover properties have no new large cardinals
- Some applications of iterated ultrapowers in set theory
- The fine structure of the constructible hierarchy