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

DOI10.1017/BSL.2016.34zbMATH Open1420.03134OpenAlexW2604352492MaRDI QIDQ5283453FDOQ5283453

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

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

Mathematics Subject Classification ID

Large cardinals (03E55) Inner models, including constructibility, ordinal definability, and core models (03E45) Determinacy principles (03E60)

Cites Work

• The fine structure of the constructible hierarchy
• Descriptive set theory
• Elementary embeddings and infinitary combinatorics
• Some applications of iterated ultrapowers in set theory
• Title not available (Why is that?)
• Title not available (Why is that?)
• A very weak square principle
• Title not available (Why is that?)
• Title not available (Why is that?)
• Iteration Trees
• Title not available (Why is that?)
• On the role of supercompact and extendible cardinals in logic
• A Proof of Projective Determinacy
• Extensions with the approximation and cover properties have no new large cardinals
• Deconstructing inner model theory
• SUITABLE EXTENDER MODELS I
• Title not available (Why is that?)
• Inner models in the region of a Woodin limit of Woodin cardinals
• Title not available (Why is that?)

Cited In (28)

• More on HOD-supercompactness
• Hintikka and the functions of logic
• A RECONSTRUCTION OF STEEL’S MULTIVERSE PROJECT
• 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
• LARGE CARDINALS BEYOND CHOICE
• Martin's maximum\(^{++}\) implies Woodin's axiom \((*)\)
• STEEL’S PROGRAMME: EVIDENTIAL FRAMEWORK, THE CORE AND ULTIMATE-L
• How many real numbers are there?
• 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
• TWO ARGUMENTS AGAINST THE GENERIC MULTIVERSE
• Is there an ontology of infinity?
• The linearity of the Mitchell order
• Applying generic coding with help to uniformizations
• Axiom \(\mathcal{A}\) and supercompactness
• N-BERKELEY CARDINALS AND WEAK EXTENDER MODELS
• Structural relativity and informal rigour
• 𝖲𝖾𝖺𝗅𝗂𝗇𝗀 from iterability
• SEALING OF THE UNIVERSALLY BAIRE SETS
• Strong combinatorial principles and level by level equivalence
• Hierarchical multiverse of sets
• On -Strongly Measurable Cardinals
• WHAT IS A RESTRICTIVE THEORY?

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)