The following pages link to Deconstructing inner model theory (Q3149991):
Displayed 19 items.
- Realizing an \(\mathrm{AD}^+\) model as a derived model of a premouse (Q499078) (← links)
- \(\lambda\)-structures and \(s\)-structures: translating the models (Q638495) (← links)
- \(\lambda\)-structures and \(s\)-structures: translating the iteration strategies (Q639674) (← links)
- Cardinal transfer properties in extender models (Q932574) (← links)
- The strength of choiceless patterns of singular and weakly compact cardinals (Q1023058) (← links)
- The core model for almost linear iterations (Q1602852) (← links)
- Projective games on the reals (Q1981987) (← links)
- The definability of \(\mathbb{E}\) in self-iterable mice (Q2105098) (← links)
- Coherent sequences and threads (Q2456216) (← links)
- Long games and \(\sigma \)-projective sets (Q2659104) (← links)
- Hod mice and the Mouse Set Conjecture (Q2944997) (← links)
- The linearity of the Mitchell order (Q4565758) (← links)
- VARSOVIAN MODELS I (Q4579804) (← links)
- Mice with finitely many Woodin cardinals from optimal determinacy hypotheses (Q4988870) (← links)
- THE CONSISTENCY STRENGTH OF LONG PROJECTIVE DETERMINACY (Q5107234) (← links)
- The axiom of determinacy implies dependent choice in mice (Q5108869) (← links)
- IN SEARCH OF ULTIMATE-<i>L</i>THE 19TH MIDRASHA MATHEMATICAE LECTURES (Q5283453) (← links)
- CHARACTERIZATION OF □<sub>κ</sub> IN CORE MODELS (Q5692257) (← links)
- DODD PARAMETERS AND λ-INDEXING OF EXTENDERS (Q5692258) (← links)