Ordinal Definability and Recursion Theory - The Cabal Seminar, Volume III

Contents
Preface
Original Numbering
PART V - HOD AND ITS LOCAL VERSIONS
Ordinal definability in models of determinacy. Introduction to Part V
Partially playful universes
Ordinal games and playful models
Measurable cardinals in playful models
Introduction to Q-theory
On the theory of Π1,3 sets of reals, II
An inner models proof of the Kechris–Martin theorem
A theorem of Woodin on mouse sets
HOD as a core model
PART VI - RECURSION THEORY
Recursion theoretic papers. Introduction to Part VI
On recursion in E and semi-Spector classes
On Spector classes
Trees and degrees
Definable functions on degrees
Π1,2 monotone inductive definitions
Martin's conjecture, arithmetic equivalence, and countable Borel equivalence relations
Bibliography