The following pages link to J. R. Steel (Q403402):
Displayed 31 items.
- Iteration Trees (Q4276535) (← links)
- (Q4291791) (← links)
- The extent of definable scales (Q4748137) (← links)
- Core models with more Woodin cardinals (Q4779661) (← links)
- HOD<sup><i>L</i>(ℝ)</sup> is a Core Model Below Θ (Q4837675) (← links)
- Fine structure for tame inner models (Q4894730) (← links)
- A weak Dodd-Jensen lemma (Q4934040) (← links)
- (Q4934561) (← links)
- A Comparison Process for Mouse Pairs (Q5039707) (← links)
- On Vaught’s conjecture (Q5164799) (← links)
- Ordinal definability in models of determinacy. Introduction to Part V (Q5219247) (← links)
- A theorem of Woodin on mouse sets (Q5219254) (← links)
- <b>HOD</b>as a core model (Q5219255) (← links)
- Definable functions on degrees (Q5219260) (← links)
- Martin's conjecture, arithmetic equivalence, and countable Borel equivalence relations (Q5219262) (← links)
- (Q5295692) (← links)
- Local <i>K<sup>c</sup></i> constructions (Q5422300) (← links)
- (Q5450105) (← links)
- Distinct iterable branches (Q5486244) (← links)
- PFA implies AD<sup><i>L</i>(ℝ)</sup> (Q5486251) (← links)
- THE MOUSE SET CONJECTURE FOR SETS OF REALS (Q5501776) (← links)
- (Q5690487) (← links)
- Does Mathematics Need New Axioms? (Q5890202) (← links)
- The domestic levels of \(K^c\) are iterable (Q5951511) (← links)
- How to win some simple iteration games (Q5961723) (← links)
- Equiconsistencies at subcompact cardinals (Q5964936) (← links)
- The comparison lemma (Q6073907) (← links)
- Condensation for Mouse Pairs (Q6404331) (← links)
- Suslin cardinals and cutpoints in mouse limits (Q6404437) (← links)
- Full normalization for mouse pairs (Q6405749) (← links)
- $\Sigma_1$ gaps as derived models and correctness of mice (Q6444080) (← links)