Pages that link to "Item:Q5219246"
From MaRDI portal
The following pages link to Ordinal Definability and Recursion Theory The Cabal Seminar Volume III (Q5219246):
Displayed 16 items.
- Ordinal definability in models of determinacy. Introduction to Part V (Q5219247) (← links)
- Partially playful universes (Q5219248) (← links)
- Ordinal games and playful models (Q5219249) (← links)
- Measurable cardinals in playful models (Q5219250) (← links)
- Introduction to Q-theory (Q5219251) (← links)
- On the theory of Π<sup>1</sup><sub>3</sub> sets of reals, II (Q5219252) (← links)
- An inner models proof of the Kechris–Martin theorem (Q5219253) (← links)
- A theorem of Woodin on mouse sets (Q5219254) (← links)
- <b>HOD</b>as a core model (Q5219255) (← links)
- Recursion theoretic papers. Introduction to Part VI (Q5219256) (← links)
- On recursion in E and semi-Spector classes (Q5219257) (← links)
- On Spector classes (Q5219258) (← links)
- Trees and degrees (Q5219259) (← links)
- Definable functions on degrees (Q5219260) (← links)
- Π<sup>1</sup><sub>2</sub> monotone inductive definitions (Q5219261) (← links)
- Martin's conjecture, arithmetic equivalence, and countable Borel equivalence relations (Q5219262) (← links)