Suitable extender models. I

DOI10.1142/S021906131000095XMaRDI QIDQ3094356zbMATH OpenFDO

Authors W. Hugh Woodin

Publication date 24 October 2011

Published in Journal of Mathematical Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1142/S021906131000095X

zbMATH Keywords

inner modelsextendersupercompact cardinaliteration tree\(\Omega\)-conjecture

Mathematics Subject Classification ID

Consistency and independence results (03E35) Axiom of choice and related propositions (03E25) Large cardinals (03E55) Other set-theoretic hypotheses and axioms (03E65) Inner models, including constructibility, ordinal definability, and core models (03E45) Determinacy principles (03E60)

Recommendations

• scientific article; zbMATH DE number 6423843
• LARGE CARDINALS BEYOND CHOICE
• In search of ultimate-\(L\). The 19th Midrasha mathematicae lectures
• Suitable extender models. II: Beyond -huge
• Tutorial outline: suitable extender sequences

Cites work

• Certain very large cardinals are not created in small forcing extensions
• Counterexamples to the unique and cofinal branches hypotheses
• Descriptive set theory
• Inner models in the region of a Woodin limit of Woodin cardinals
• On HOD-supercompactness
• The well-foundedness of the Mitchell order

Cited in

(62)

• Universally Baire sets and generic absoluteness
• I0 and rank-into-rank axioms
• AXIOM I₀ AND HIGHER DEGREE THEORY
• On -Strongly Measurable Cardinals
• The long extender algebra
• The envelope of a pointclass under a local determinacy hypothesis
• Equiconsistencies at subcompact cardinals
• Hod mice and the mouse set conjecture
• Very large set axioms over constructive set theories
• Set theory. Abstracts from the workshop held January 9--15, 2022
• A model of the axiom of determinacy in which every set of reals is universally Baire
• More on HOD-supercompactness
• A universal extender model without large cardinals in V
• N-Berkeley cardinals and weak extender models
• How Woodin changed his mind: new thoughts on the continuum hypothesis
• HOD in inner models with Woodin cardinals
• Tame failures of the unique branch hypothesis and models of \(\mathsf{AD}_{\mathbb{R}}+\Theta\) is regular
• On \(\omega\)-strongly measurable cardinals in \(\mathbb{P}_{\max}\) extensions
• Boolean-valued second-order logic
• A brief account of recent developments in inner model theory
• The Hypothesis and a supercompact cardinal
• Some applications of supercompact extender based forcings to HOD
• Generic at
• LARGE CARDINALS BEYOND CHOICE
• Mathematical pull
• In search of ultimate-\(L\). The 19th Midrasha mathematicae lectures
• Homogeneous changes in cofinalities with applications to HOD
• The transfinite universe
• The weak ultrafilter axiom
• Critical cardinals
• How many real numbers are there?
• CLASSES OF BARREN EXTENSIONS
• Usuba's theorem is optimal
• DEPENDENT CHOICE, PROPERNESS, AND GENERIC ABSOLUTENESS
• Large cardinals at the brink
• Measurable cardinals and choiceless axioms
• The relative strengths of fragments of Martin's axiom
• Covering with universally Baire operators
• Combinatorial properties and dependent choice in symmetric extensions based on Lévy collapse
• Iteration Trees
• Berkeley cardinals and the structure of \(L(V_{\delta+1})\)
• Cardinals and iterations of HOD
• The equivalence of axiom \(( \ast )^+\) and axiom \(( \ast )^{+ +}\)
• Consecutive singular cardinals and the continuum function
• Large cardinals need not be large in HOD
• On _1-definable closed unbounded sets
• Beginning inner model theory
• A premouse inheriting strong cardinals from \(V\)
• Two results on extendible cardinals
• The enriched stable core and the relative rigidity of HOD
• Choiceless Löwenheim-Skolem property and uniform definability of grounds
• MORE ON THE PRESERVATION OF LARGE CARDINALS UNDER CLASS FORCING
• Inner models from extended logics. I
• Generalisations of Gödel's universe of constructible sets
• Laver and set theory
• An -logic primer
• 𝖲𝖾𝖺𝗅𝗂𝗇𝗀 from iterability
• Set theory. Abstracts from the workshop held January 12--17, 2025
• Tutorial outline: suitable extender sequences
• Suitable extender models. II: Beyond -huge
• Provably _1 games
• Descriptive inner model theory

This page was built for publication: Suitable extender models. I

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