4059 results in Logic
Recursion theoretic papers. Introduction to Part VI
- from PART VI - RECURSION THEORY
-
-
- Book:
- Ordinal Definability and Recursion Theory
- Published online:
- 05 December 2015
- Print publication:
- 11 January 2016, pp 349-354
-
- Chapter
- Export citation
Trees and degrees
- from PART VI - RECURSION THEORY
-
-
- Book:
- Ordinal Definability and Recursion Theory
- Published online:
- 05 December 2015
- Print publication:
- 11 January 2016, pp 424-457
-
- Chapter
- Export citation
Contents
-
- Book:
- Ordinal Definability and Recursion Theory
- Published online:
- 05 December 2015
- Print publication:
- 11 January 2016, pp v-vi
-
- Chapter
- Export citation
Bibliography
-
- Book:
- Ordinal Definability and Recursion Theory
- Published online:
- 05 December 2015
- Print publication:
- 11 January 2016, pp 521-535
-
- Chapter
- Export citation
PART VI - RECURSION THEORY
-
- Book:
- Ordinal Definability and Recursion Theory
- Published online:
- 05 December 2015
- Print publication:
- 11 January 2016, pp 347-348
-
- Chapter
- Export citation
Martin's conjecture, arithmetic equivalence, and countable Borel equivalence relations
- from PART VI - RECURSION THEORY
-
-
- Book:
- Ordinal Definability and Recursion Theory
- Published online:
- 05 December 2015
- Print publication:
- 11 January 2016, pp 493-520
-
- Chapter
- Export citation
Frontmatter
-
- Book:
- Ordinal Definability and Recursion Theory
- Published online:
- 05 December 2015
- Print publication:
- 11 January 2016, pp i-iv
-
- Chapter
- Export citation
Introduction to Q-theory
- from PART V - HOD AND ITS LOCAL VERSIONS
-
-
- Book:
- Ordinal Definability and Recursion Theory
- Published online:
- 05 December 2015
- Print publication:
- 11 January 2016, pp 126-199
-
- Chapter
- Export citation
PART V - HOD AND ITS LOCAL VERSIONS
-
- Book:
- Ordinal Definability and Recursion Theory
- Published online:
- 05 December 2015
- Print publication:
- 11 January 2016, pp 1-2
-
- Chapter
- Export citation
On recursion in E and semi-Spector classes
- from PART VI - RECURSION THEORY
-
-
- Book:
- Ordinal Definability and Recursion Theory
- Published online:
- 05 December 2015
- Print publication:
- 11 January 2016, pp 355-389
-
- Chapter
- Export citation
A theorem of Woodin on mouse sets
- from PART V - HOD AND ITS LOCAL VERSIONS
-
-
- Book:
- Ordinal Definability and Recursion Theory
- Published online:
- 05 December 2015
- Print publication:
- 11 January 2016, pp 243-256
-
- Chapter
- Export citation
Definable functions on degrees
- from PART VI - RECURSION THEORY
-
-
- Book:
- Ordinal Definability and Recursion Theory
- Published online:
- 05 December 2015
- Print publication:
- 11 January 2016, pp 458-475
-
- Chapter
- Export citation
Ordinal games and playful models
- from PART V - HOD AND ITS LOCAL VERSIONS
-
-
- Book:
- Ordinal Definability and Recursion Theory
- Published online:
- 05 December 2015
- Print publication:
- 11 January 2016, pp 86-114
-
- Chapter
- Export citation
Partially playful universes
- from PART V - HOD AND ITS LOCAL VERSIONS
-
-
- Book:
- Ordinal Definability and Recursion Theory
- Published online:
- 05 December 2015
- Print publication:
- 11 January 2016, pp 49-85
-
- Chapter
- Export citation
Preface
-
-
- Book:
- Ordinal Definability and Recursion Theory
- Published online:
- 05 December 2015
- Print publication:
- 11 January 2016, pp vii-x
-
- Chapter
- Export citation
Ordinal definability in models of determinacy. Introduction to Part V
- from PART V - HOD AND ITS LOCAL VERSIONS
-
-
- Book:
- Ordinal Definability and Recursion Theory
- Published online:
- 05 December 2015
- Print publication:
- 11 January 2016, pp 3-48
-
- Chapter
- Export citation
Original Numbering
-
- Book:
- Ordinal Definability and Recursion Theory
- Published online:
- 05 December 2015
- Print publication:
- 11 January 2016, pp xi-xvi
-
- Chapter
- Export citation
On Spector classes
- from PART VI - RECURSION THEORY
-
-
- Book:
- Ordinal Definability and Recursion Theory
- Published online:
- 05 December 2015
- Print publication:
- 11 January 2016, pp 390-423
-
- Chapter
- Export citation
![](https://assets.cambridge.org/97811070/33405/cover/9781107033405.jpg)
Ordinal Definability and Recursion Theory
- The Cabal Seminar, Volume III
-
- Published online:
- 05 December 2015
- Print publication:
- 11 January 2016
Acknowledgements
-
- Book:
- Diagrammatic Immanence
- Published by:
- Edinburgh University Press
- Published online:
- 05 September 2016
- Print publication:
- 13 November 2015, pp vi-viii
-
- Chapter
- Export citation