Large Cardinals from Determinacy
From MaRDI portal
Publication:3053910
DOI10.1007/978-1-4020-5764-9_24zbMath1198.03072OpenAlexW89719821MaRDI QIDQ3053910
W. Hugh Woodin, Peter Koellner
Publication date: 5 November 2010
Published in: Handbook of Set Theory (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-1-4020-5764-9_24
Related Items
The size of the class of countable sequences of ordinals ⋮ The Continuum Hypothesis ⋮ A long pseudo-comparison of premice in \(L[x\)] ⋮ The consistency strength of projective absoluteness ⋮ Some observations on the Baireness of \(C_{k}(X)\) for a locally compact space \(X\) ⋮ Maximal almost disjoint families, determinacy, and forcing ⋮ Preserving levels of projective determinacy by tree forcings ⋮ Long games and \(\sigma \)-projective sets ⋮ \(\Pi_ 2^ 1\) Wadge degrees ⋮ Boundedness theorems for flowers and sharps ⋮ VARSOVIAN MODELS I ⋮ Hod mice and the Mouse Set Conjecture ⋮ Souslin quasi-orders and bi-embeddability of uncountable structures ⋮ \(L(\mathbb{R}, \mu)\) is unique ⋮ Set theory and the analyst ⋮ The comparison lemma ⋮ Woodin’s axiom (*), or Martin’s Maximum, or both? ⋮ Implications of very large cardinals ⋮ Forcing and the universe of sets: must we lose insight? ⋮ Almost disjoint families under determinacy ⋮ \(AD_{\mathbb{R}}\) implies that all sets of reals are \(\Theta\) universally Baire ⋮ AN ANALYSIS OF THE MODELS ⋮ Reverse mathematics of topology: dimension, paracompactness, and splittings ⋮ Projective games on the reals ⋮ Realizing an \(\mathrm{AD}^+\) model as a derived model of a premouse ⋮ PFA and guessing models ⋮ Magidor cardinals ⋮ Square principles in \(\mathbb{P}_{\max}\) extensions ⋮ HOD in natural models of \(\mathsf{AD}^+\) ⋮ Thin equivalence relations and inner models ⋮ A \({\Delta{}}^ 2_ 2\) well-order of the reals and incompactness of \(L(Q^{MM})\) ⋮ The destruction of the axiom of determinacy by forcings on \(\mathbb{R}\) when \(\Theta\) is regular ⋮ Feferman on Set Theory: Infinity up on Trial ⋮ Long Borel games ⋮ Can we resolve the continuum hypothesis? ⋮ Determined admissible sets ⋮ Mice with finitely many Woodin cardinals from optimal determinacy hypotheses ⋮ Supercompactness can be equiconsistent with measurability ⋮ Nets and reverse mathematics ⋮ Structural relativity and informal rigour ⋮ Inverse limit reflection and the structure of L(Vλ+1) ⋮ GAMES AND REFLECTION IN ⋮ How Woodin changed his mind: new thoughts on the continuum hypothesis ⋮ A RECONSTRUCTION OF STEEL’S MULTIVERSE PROJECT ⋮ IN INNER MODELS WITH WOODIN CARDINALS ⋮ Large cardinals, inner models, and determinacy: an introductory overview ⋮ A Lipschitz determinacy principle equivalent to weak König lemma ⋮ Determinacy in L(ℝ, μ)
