In search of ultimate-L. The 19th Midrasha mathematicae lectures

DOI10.1017/BSL.2016.34MaRDI QIDQ5283453zbMATH OpenOpenAlexFDO

Authors 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)

Recommendations

• Suitable extender models. I
• scientific article; zbMATH DE number 6423843
• Inner Models and Ultrafilters In L(ℝ)
• Generalisations of Gödel's universe of constructible sets
• An outline of inner model theory

Cites work

• A Proof of Projective Determinacy
• A very weak square principle
• Deconstructing inner model theory
• Descriptive set theory
• Elementary embeddings and infinitary combinatorics
• Extensions with the approximation and cover properties have no new large cardinals
• scientific article; zbMATH DE number 3702632 (Why is no real title available?)
• scientific article; zbMATH DE number 3603272 (Why is no real title available?)
• scientific article; zbMATH DE number 567513 (Why is no real title available?)
• scientific article; zbMATH DE number 218608 (Why is no real title available?)
• scientific article; zbMATH DE number 1908324 (Why is no real title available?)
• scientific article; zbMATH DE number 6423843 (Why is no real title available?)
• Inner models in the region of a Woodin limit of Woodin cardinals
• Iteration Trees
• On the role of supercompact and extendible cardinals in logic
• Some applications of iterated ultrapowers in set theory
• Suitable extender models. I
• The continuum hypothesis, the generic-multiverse of sets, and the conjecture
• The fine structure of the constructible hierarchy

Cited in

(39)

• Martin's maximum\(^{++}\) implies Woodin's axiom \((*)\)
• Structural relativity and informal rigour
• Is there an ontology of infinity?
• More on HOD-supercompactness
• Covering with Chang models over derived models
• Hintikka and the functions of logic
• Applying generic coding with help to uniformizations
• Strong combinatorial principles and level by level equivalence
• The transfinite universe
• Suitable extender models. I
• The Ultrapower Axiom
• A brief account of recent developments in inner model theory
• The linearity of the Mitchell order
• DEPENDENT CHOICE, PROPERNESS, AND GENERIC ABSOLUTENESS
• SEALING OF THE UNIVERSALLY BAIRE SETS
• The Hypothesis and a supercompact cardinal
• N-Berkeley cardinals and weak extender models
• LARGE CARDINALS BEYOND CHOICE
• 𝖲𝖾𝖺𝗅𝗂𝗇𝗀 from iterability
• A reconstruction of Steel's multiverse project
• On -Strongly Measurable Cardinals
• STEEL’S PROGRAMME: EVIDENTIAL FRAMEWORK, THE CORE AND ULTIMATE-L
• Interview With a Set Theorist
• How many real numbers are there?
• Hierarchical multiverse of sets
• 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
• Axiom \(\mathcal{A}\) and supercompactness
• The structure of C(aa)
• The generic multiverse is not going away
• Set theory. Abstracts from the workshop held January 12--17, 2025
• On the consistency strength of critical leaps
• Mathematical pluralism and indispensability
• Usuba's theorem is optimal
• Arealism, thin realism, and the problem of extrinsic evidence
• Applications of the magidor iteration to ultrafilter theory
• The \(\mathrm{AD}^+\) duality program, the HOD conjecture, and the ultimate-\(L\) conjecture

This page was built for publication: In search of ultimate-\(L\). The 19th Midrasha mathematicae lectures

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5283453)