Switch to: Citations

References in:

Berkeley cardinals and the structure of L

Raffaella Cutolo

Journal of Symbolic Logic 83 (4):1457-1476 (2018)

Add references

You must login to add references.

Suitable extender models I.W. Hugh Woodin - 2010 - Journal of Mathematical Logic 10 (1):101-339.details 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 (...) Download Export citation Bookmark 35 citations
Suitable extender models II: Beyond ω-huge.W. Hugh Woodin - 2011 - Journal of Mathematical Logic 11 (2):115-436.details We investigate large cardinal axioms beyond the level of ω-huge in context of the universality of the suitable extender models of [Suitable Extender Models I, J. Math. Log.10 101–339]. We show that there is an analog of ADℝ at the level of ω-huge, more precisely the construction of the minimum model of ADℝ generalizes to the level of Vλ+1. This allows us to formulate the indicated generalization of ADℝ and then to prove that if the axiom holds in V at (...) Download Export citation Bookmark 19 citations
Coding lemmata in L.George Kafkoulis - 2004 - Archive for Mathematical Logic 43 (2):193-213.details Under the assumption that there exists an elementary embedding (henceforth abbreviated as and in particular under we prove a Coding Lemma for and find certain versions of it which are equivalent to strong regularity of cardinals below . We also prove that a stronger version of the Coding Lemma holds for a stationary set of ordinals below. Download Export citation Bookmark 7 citations

1