13 results
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
Contributors
-
-
- Book:
- The Cambridge Dictionary of Christianity
- Published online:
- 05 August 2012
- Print publication:
- 20 September 2010, pp xi-xliv
-
- Chapter
- Export citation
The Complexity of Orbits of Computably Enumerable Sets
-
- Journal:
- Bulletin of Symbolic Logic / Volume 14 / Issue 1 / March 2008
- Published online by Cambridge University Press:
- 15 January 2014, pp. 69-87
- Print publication:
- March 2008
-
- Article
- Export citation
Isomorphisms of splits of computably enumerable sets
-
- Journal:
- The Journal of Symbolic Logic / Volume 68 / Issue 3 / September 2003
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1044-1064
- Print publication:
- September 2003
-
- Article
- Export citation
Definable Encodings in the Computably Enumerable Sets
-
- Journal:
- Bulletin of Symbolic Logic / Volume 6 / Issue 2 / June 2000
- Published online by Cambridge University Press:
- 15 January 2014, pp. 185-196
- Print publication:
- June 2000
-
- Article
- Export citation
Codable sets and orbits of computably enumerable sets
-
- Journal:
- The Journal of Symbolic Logic / Volume 63 / Issue 1 / March 1998
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1-28
- Print publication:
- March 1998
-
- Article
- Export citation
Definability, Automorphisms, and Dynamic Properties of Computably Enumerable Sets
-
- Journal:
- Bulletin of Symbolic Logic / Volume 2 / Issue 2 / June 1996
- Published online by Cambridge University Press:
- 15 January 2014, pp. 199-213
- Print publication:
- June 1996
-
- Article
- Export citation
Dynamic properties of computably enumerable sets
-
-
- Book:
- Computability, Enumerability, Unsolvability
- Published online:
- 23 February 2010
- Print publication:
- 11 January 1996, pp 105-122
-
- Chapter
- Export citation
Analytic determinacy and 0#
-
- Journal:
- The Journal of Symbolic Logic / Volume 43 / Issue 4 / December 1978
- Published online by Cambridge University Press:
- 12 March 2014, pp. 685-693
- Print publication:
- December 1978
-
- Article
- Export citation
Meeting of the Association for Symbolic Logic, Reno, 1976
-
- Journal:
- The Journal of Symbolic Logic / Volume 42 / Issue 1 / March 1977
- Published online by Cambridge University Press:
- 12 March 2014, pp. 156-160
- Print publication:
- March 1977
-
- Article
- Export citation
On Σ1 well-orderings of the universe
-
- Journal:
- The Journal of Symbolic Logic / Volume 41 / Issue 1 / March 1976
- Published online by Cambridge University Press:
- 12 March 2014, pp. 167-170
- Print publication:
- March 1976
-
- Article
- Export citation
On characterizing Spector classes
-
- Journal:
- The Journal of Symbolic Logic / Volume 40 / Issue 1 / March 1975
- Published online by Cambridge University Press:
- 12 March 2014, pp. 19-24
- Print publication:
- March 1975
-
- Article
- Export citation
Recursively presentable prime models
-
- Journal:
- The Journal of Symbolic Logic / Volume 39 / Issue 2 / June 1974
- Published online by Cambridge University Press:
- 12 March 2014, pp. 305-309
- Print publication:
- June 1974
-
- Article
- Export citation