5570 results in Programming Languages and Applied Logic
Appendix B - Lattice Tables and Representation Theorems
-
- Book:
- Degrees of Unsolvability
- Published online:
- 31 March 2017
- Print publication:
- 06 April 2017, pp 273-292
-
- Chapter
- Export citation
Chapter III - The Jump Operator
- from Part A - The Structure of the Degrees
-
- Book:
- Degrees of Unsolvability
- Published online:
- 31 March 2017
- Print publication:
- 06 April 2017, pp 34-74
-
- Chapter
- Export citation
Author's Preface
-
-
- Book:
- Degrees of Unsolvability
- Published online:
- 31 March 2017
- Print publication:
- 06 April 2017, pp ix-x
-
- Chapter
- Export citation
Dedication
-
- Book:
- Degrees of Unsolvability
- Published online:
- 31 March 2017
- Print publication:
- 06 April 2017, pp v-vi
-
- Chapter
- Export citation
Part B - Countable Ideals of Degrees
-
- Book:
- Degrees of Unsolvability
- Published online:
- 31 March 2017
- Print publication:
- 06 April 2017, pp 99-100
-
- Chapter
- Export citation
Part C - Initial Segments of D and the Jump Operator
-
- Book:
- Degrees of Unsolvability
- Published online:
- 31 March 2017
- Print publication:
- 06 April 2017, pp 181-182
-
- Chapter
- Export citation
Chapter II - Embeddings and Extensions of Embeddings in the Degrees
- from Part A - The Structure of the Degrees
-
- Book:
- Degrees of Unsolvability
- Published online:
- 31 March 2017
- Print publication:
- 06 April 2017, pp 15-33
-
- Chapter
- Export citation
Contents
-
- Book:
- Degrees of Unsolvability
- Published online:
- 31 March 2017
- Print publication:
- 06 April 2017, pp xi-xiv
-
- Chapter
- Export citation
Chapter XII - Initial Segments of D[0,0']
- from Part C - Initial Segments of D and the Jump Operator
-
- Book:
- Degrees of Unsolvability
- Published online:
- 31 March 2017
- Print publication:
- 06 April 2017, pp 221-261
-
- Chapter
- Export citation
Chapter VII - Finite Lattices
- from Part B - Countable Ideals of Degrees
-
- Book:
- Degrees of Unsolvability
- Published online:
- 31 March 2017
- Print publication:
- 06 April 2017, pp 148-160
-
- Chapter
- Export citation
Frontmatter
-
- Book:
- Degrees of Unsolvability
- Published online:
- 31 March 2017
- Print publication:
- 06 April 2017, pp i-iv
-
- Chapter
- Export citation
Chapter I - Recursive Functions
- from Part A - The Structure of the Degrees
-
- Book:
- Degrees of Unsolvability
- Published online:
- 31 March 2017
- Print publication:
- 06 April 2017, pp 7-14
-
- Chapter
- Export citation
Chapter IX - Minimal Degrees and High/Low Hierarchies
- from Part C - Initial Segments of D and the Jump Operator
-
- Book:
- Degrees of Unsolvability
- Published online:
- 31 March 2017
- Print publication:
- 06 April 2017, pp 183-197
-
- Chapter
- Export citation
Introduction
-
- Book:
- Degrees of Unsolvability
- Published online:
- 31 March 2017
- Print publication:
- 06 April 2017, pp 1-4
-
- Chapter
- Export citation
Chapter IV - High/Low Hierarchies
- from Part A - The Structure of the Degrees
-
- Book:
- Degrees of Unsolvability
- Published online:
- 31 March 2017
- Print publication:
- 06 April 2017, pp 75-98
-
- Chapter
- Export citation
Chapter VIII - Countable Usls
- from Part B - Countable Ideals of Degrees
-
- Book:
- Degrees of Unsolvability
- Published online:
- 31 March 2017
- Print publication:
- 06 April 2017, pp 161-180
-
- Chapter
- Export citation
Subject Index
-
- Book:
- Degrees of Unsolvability
- Published online:
- 31 March 2017
- Print publication:
- 06 April 2017, pp 302-307
-
- Chapter
- Export citation
References
-
- Book:
- Degrees of Unsolvability
- Published online:
- 31 March 2017
- Print publication:
- 06 April 2017, pp 293-297
-
- Chapter
- Export citation
![](https://assets.cambridge.org/97811071/68138/cover/9781107168138.jpg)
Degrees of Unsolvability
- Local and Global Theory
-
- Published online:
- 31 March 2017
- Print publication:
- 06 April 2017
![](https://assets.cambridge.org/97811071/68060/cover/9781107168060.jpg)
Descriptive Set Theory and Forcing
- How to Prove Theorems about Borel Sets the Hard Way
-
- Published online:
- 24 March 2017
- Print publication:
- 18 May 2017