Book Chapter

Admissible Recursion Theory

Steve Homer

C.I.M.E. Summer Schools, 1, Volume 79, Recursion Theory and Computational Complexity, Pages 5-28

• Download PDF (1.8 MB)

Book Chapter

The method of minimal walks

Lecture Notes in Mathematics, 1991, Volume 1476, Topics in Set Theory, Pages 61-104

• Download PDF (1.6 MB)

Book Chapter

Σ₂-induction and the construction of a high degree

Marcia Groszek and Michael Mytilinaios

Lecture Notes in Mathematics, 1990, Volume 1432, Recursion Theory Week, Pages 205-221

• Download PDF (833.2 KB)

Book Chapter

Set-theoretic methods

Lecture Notes in Mathematics, 1984, Volume 1106, Techniques of Admissible Recursion Theory, Pages 181-195

• Download PDF (581.0 KB)

Book Chapter

Priority Arguments in Higher Recursion Theory

Gerald E. Sacks

C.I.M.E. Summer Schools, 1, Volume 79, Recursion Theory and Computational Complexity, Pages 107-168

• Download PDF (3.6 MB)

Book Chapter

Forcing axioms

Lecture Notes in Mathematics, 1991, Volume 1476, Topics in Set Theory, Pages 23-60

• Download PDF (2.0 MB)

Book Chapter

Phase Spaces

Lecture Notes in Mathematics, 1991, Volume 1473, Functional Differential Equations with Infinite Delay, Pages 1-34

• Download PDF (1.1 MB)

Book Chapter

Structure theory

Lecture Notes in Mathematics, 1974, Volume 426, Symmetric Markov Processes, Pages 130-219

• Download PDF (2.4 MB)

Book Chapter

Classification of non elementary classes II abstract elementary classes

Saharon Shelah

Lecture Notes in Mathematics, 1987, Volume 1292, Classification Theory, Pages 419-497

• Download PDF (2.8 MB)

Book Chapter

The α-finite injury method

Lecture Notes in Mathematics, 1984, Volume 1106, Techniques of Admissible Recursion Theory, Pages 49-71

• Download PDF (983.0 KB)