5570 results in Programming Languages and Applied Logic
On the theory of Π13 sets of reals, II
- 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 200-219
-
- Chapter
- Export citation
HOD as a core model
- 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 257-346
-
- Chapter
- Export citation
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