IN SEARCH OF ULTIMATE-LTHE 19TH MIDRASHA MATHEMATICAE LECTURES

DOI10.1017/bsl.2016.34zbMath1420.03134OpenAlexW2604352492MaRDI QIDQ5283453

W. Hugh Woodin

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

Mathematics Subject Classification ID

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