The following pages link to Large Cardinals from Determinacy (Q3053910):
Displaying 50 items.
- Some observations on the Baireness of \(C_{k}(X)\) for a locally compact space \(X\) (Q330067) (← links)
- Realizing an \(\mathrm{AD}^+\) model as a derived model of a premouse (Q499078) (← links)
- PFA and guessing models (Q501847) (← links)
- Square principles in \(\mathbb{P}_{\max}\) extensions (Q522300) (← links)
- A \({\Delta{}}^ 2_ 2\) well-order of the reals and incompactness of \(L(Q^{MM})\) (Q1208082) (← links)
- A long pseudo-comparison of premice in \(L[x]\) (Q1633899) (← links)
- \(L(\mathbb{R}, \mu)\) is unique (Q1684666) (← links)
- Magidor cardinals (Q1743691) (← links)
- The consistency strength of projective absoluteness (Q1896614) (← links)
- \(\Pi_ 2^ 1\) Wadge degrees (Q1919526) (← links)
- Reverse mathematics of topology: dimension, paracompactness, and splittings (Q1981984) (← links)
- Projective games on the reals (Q1981987) (← links)
- The destruction of the axiom of determinacy by forcings on \(\mathbb{R}\) when \(\Theta\) is regular (Q2022773) (← links)
- Long Borel games (Q2048863) (← links)
- Can we resolve the continuum hypothesis? (Q2054119) (← links)
- Supercompactness can be equiconsistent with measurability (Q2075279) (← links)
- Structural relativity and informal rigour (Q2080583) (← links)
- A Lipschitz determinacy principle equivalent to weak König lemma (Q2111115) (← links)
- Forcing and the universe of sets: must we lose insight? (Q2194109) (← links)
- \(AD_{\mathbb{R}}\) implies that all sets of reals are \(\Theta\) universally Baire (Q2219085) (← links)
- HOD in natural models of \(\mathsf{AD}^+\) (Q2250450) (← links)
- Thin equivalence relations and inner models (Q2250452) (← links)
- How Woodin changed his mind: new thoughts on the continuum hypothesis (Q2339268) (← links)
- Large cardinals, inner models, and determinacy: an introductory overview (Q2345399) (← links)
- Set theory and the analyst (Q2419681) (← links)
- Preserving levels of projective determinacy by tree forcings (Q2659097) (← links)
- Long games and \(\sigma \)-projective sets (Q2659104) (← links)
- Determinacy in L(ℝ, μ) (Q2878783) (← links)
- Hod mice and the Mouse Set Conjecture (Q2944997) (← links)
- Believing the axioms. II (Q3803104) (← links)
- Iteration Trees (Q4276535) (← links)
- VARSOVIAN MODELS I (Q4579804) (← links)
- AN ANALYSIS OF THE MODELS (Q4628671) (← links)
- Mice with finitely many Woodin cardinals from optimal determinacy hypotheses (Q4988870) (← links)
- Nets and reverse mathematics (Q4995602) (← links)
- IN INNER MODELS WITH WOODIN CARDINALS (Q5015717) (← links)
- The size of the class of countable sequences of ordinals (Q5036098) (← links)
- Maximal almost disjoint families, determinacy, and forcing (Q5081947) (← links)
- Boundedness theorems for flowers and sharps (Q5086943) (← links)
- Souslin quasi-orders and bi-embeddability of uncountable structures (Q5097134) (← links)
- Feferman on Set Theory: Infinity up on Trial (Q5214797) (← links)
- Determined admissible sets (Q5221364) (← links)
- Woodin’s axiom (*), or Martin’s Maximum, or both? (Q5351855) (← links)
- Implications of very large cardinals (Q5351858) (← links)
- Inverse limit reflection and the structure of L(V<sub>λ+1</sub>) (Q5501921) (← links)
- GAMES AND REFLECTION IN (Q5855749) (← links)
- A RECONSTRUCTION OF STEEL’S MULTIVERSE PROJECT (Q5857719) (← links)
- The Continuum Hypothesis (Q5886640) (← links)
- The comparison lemma (Q6073907) (← links)
- Almost disjoint families under determinacy (Q6184557) (← links)