The following pages link to A Core Model Toolbox and Guide (Q3053907):
Displaying 13 items.
- A diamond-plus principle consistent with AD (Q781519) (← links)
- Recognizable sets and Woodin cardinals: computation beyond the constructible universe (Q1694811) (← links)
- Partition properties for simply definable colourings (Q2182050) (← links)
- Thin equivalence relations and inner models (Q2250452) (← links)
- Coherent sequences and threads (Q2456216) (← links)
- FREE GROUPS AND AUTOMORPHISM GROUPS OF INFINITE STRUCTURES (Q2879421) (← links)
- Bounded dagger principles (Q2922490) (← links)
- Local saturation and square everywhere (Q4988829) (← links)
- Mice with finitely many Woodin cardinals from optimal determinacy hypotheses (Q4988870) (← links)
- Σ<sub>1</sub>(<i>κ</i>)-DEFINABLE SUBSETS OF H(<i>κ</i><sup>+</sup>) (Q5359578) (← links)
- -definability at higher cardinals: Thin sets, almost disjoint families and long well-orders (Q6064822) (← links)
- Covering at limit cardinals of <i>K</i> (Q6146543) (← links)
- Strong compactness, square, GCH, and Woodin cardinals (Q6642877) (← links)
