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

Large cardinals (03E55) Inner models, including constructibility, ordinal definability, and core models (03E45) 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

• 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?)
• 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
• 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 \(\Omega\) conjecture
• The fine structure of the constructible hierarchy

Cited in

(30)

• On -Strongly Measurable Cardinals
• WHAT IS A RESTRICTIVE THEORY?
• More on HOD-supercompactness
• Hintikka and the functions of logic
• \(N\)-Berkeley cardinals and weak extender models
• Covering with Chang models over derived models
• A brief account of recent developments in inner model theory
• The Ultrapower Axiom
• The Hypothesis and a supercompact cardinal
• Martin's maximum\(^{++}\) implies Woodin's axiom \((*)\)
• LARGE CARDINALS BEYOND CHOICE
• STEEL’S PROGRAMME: EVIDENTIAL FRAMEWORK, THE CORE AND ULTIMATE-L
• The transfinite universe
• How many real numbers are there?
• A reconstruction of Steel's multiverse project
• DEPENDENT CHOICE, PROPERNESS, AND GENERIC ABSOLUTENESS
• Strongly compact cardinals and ordinal definability
• The exact consistency strength of the generic absoluteness for the universally Baire sets
• Interview With a Set Theorist
• Is there an ontology of infinity?
• TWO ARGUMENTS AGAINST THE GENERIC MULTIVERSE
• The linearity of the Mitchell order
• Applying generic coding with help to uniformizations
• Axiom \(\mathcal{A}\) and supercompactness
• Suitable extender models. I
• Structural relativity and informal rigour
• Strong combinatorial principles and level by level equivalence
• SEALING OF THE UNIVERSALLY BAIRE SETS
• 𝖲𝖾𝖺𝗅𝗂𝗇𝗀 from iterability
• Hierarchical multiverse of sets

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)