Pages that link to "Item:Q5501776"
From MaRDI portal
The following pages link to THE MOUSE SET CONJECTURE FOR SETS OF REALS (Q5501776):
Displaying 10 items.
- 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)
- The definability of \(\mathbb{E}\) in self-iterable mice (Q2105098) (← links)
- Determinacy from strong compactness of \(\omega_1\) (Q2662692) (← links)
- Descriptive inner model theory (Q2837761) (← links)
- Hod mice and the Mouse Set Conjecture (Q2944997) (← links)
- HAPPY AND MAD FAMILIES IN<i>L</i>(ℝ) (Q4579808) (← links)
- THE CONSISTENCY STRENGTH OF LONG PROJECTIVE DETERMINACY (Q5107234) (← links)
- Ideals and strong axioms of determinacy (Q6579953) (← links)