Journal of Mathematical Logic 10 (1):101-339 (2010)

Authors
W. Hugh Woodin
Harvard University
Abstract
We investigate both iteration hypotheses and extender models at the level of one supercompact cardinal. The HOD Conjecture is introduced and shown to be a key conjecture both for the Inner Model Program and for understanding the limits of the large cardinal hierarchy. We show that if the HOD Conjecture is true then this provides strong evidence for the existence of an ultimate version of Gödel's constructible universe L. Whether or not this "ultimate" L exists is now arguably the central issue for the Inner Model Program.
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.1142/S021906131000095X
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 71,259
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

The Higher Infinite.Akihiro Kanamori - 2000 - Studia Logica 65 (3):443-446.
Descriptive Set Theory.Richard Mansfield - 1981 - Journal of Symbolic Logic 46 (4):874-876.
Inner Models in the Region of a Woodin Limit of Woodin Cardinals.Itay Neeman - 2002 - Annals of Pure and Applied Logic 116 (1-3):67-155.
The Well-Foundedness of the Mitchell Order.J. R. Steel - 1993 - Journal of Symbolic Logic 58 (3):931-940.

View all 8 references / Add more references

Citations of this work BETA

Large Cardinals Beyond Choice.Joan Bagaria, Peter Koellner & W. Hugh Woodin - 2019 - Bulletin of Symbolic Logic 25 (3):283-318.
Maximality Principles in Set Theory.Luca Incurvati - 2017 - Philosophia Mathematica 25 (2):159-193.
Suitable Extender Models II: Beyond Ω-Huge.W. Hugh Woodin - 2011 - Journal of Mathematical Logic 11 (2):115-436.
The Long Extender Algebra.Ralf Schindler - 2018 - Archive for Mathematical Logic 57 (1-2):73-82.

View all 28 citations / Add more citations

Similar books and articles

Analytics

Added to PP index
2012-09-02

Total views
72 ( #161,524 of 2,518,720 )

Recent downloads (6 months)
6 ( #116,897 of 2,518,720 )

How can I increase my downloads?

Downloads

My notes