SUITABLE EXTENDER MODELS II: BEYOND ω-HUGE
From MaRDI portal
Publication:2883843
DOI10.1142/S021906131100102XzbMath1248.03069MaRDI QIDQ2883843
Publication date: 13 May 2012
Published in: Journal of Mathematical Logic (Search for Journal in Brave)
Consistency and independence results (03E35) Inner models, including constructibility, ordinal definability, and core models (03E45) Large cardinals (03E55) Other set-theoretic hypotheses and axioms (03E65) Axiom of choice and related propositions (03E25) Determinacy principles (03E60)
Related Items (23)
A general tool for consistency results related to I1 ⋮ Generic absoluteness and Boolean names for elements of a Polish space ⋮ Measurable cardinals and choiceless axioms ⋮ Large cardinals at the brink ⋮ Implications of very large cardinals ⋮ The Hypothesis and a supercompact cardinal ⋮ The first omitting cardinal for Magidority ⋮ Generic at ⋮ GENERIC LARGE CARDINALS AND SYSTEMS OF FILTERS ⋮ The iterability hierarchy above \(\mathsf {I3}\) ⋮ Rank-into-rank hypotheses and the failure of GCH ⋮ Covering with universally Baire operators ⋮ BERKELEY CARDINALS AND THE STRUCTURE OF L(Vδ+1) ⋮ \(I_0\) and combinatorics at \(\lambda ^+\) ⋮ I0 and rank-into-rank axioms ⋮ Laver and set theory ⋮ Equiconsistencies at subcompact cardinals ⋮ The weak ultrafilter axiom ⋮ Can we resolve the continuum hypothesis? ⋮ LD-algebras beyond I0 ⋮ Inverse limit reflection and the structure of L(Vλ+1) ⋮ How Woodin changed his mind: new thoughts on the continuum hypothesis ⋮ A Solovay-like model for singular generalized descriptive set theory
Cites Work
This page was built for publication: SUITABLE EXTENDER MODELS II: BEYOND ω-HUGE
