26 results
Bounding homogenous models
-
- Journal:
- The Journal of Symbolic Logic / Volume 72 / Issue 1 / March 2007
- Published online by Cambridge University Press:
- 12 March 2014, pp. 305-323
- Print publication:
- March 2007
-
- Article
- Export citation
Computability Results Used in Differential Geometry
-
- Journal:
- The Journal of Symbolic Logic / Volume 71 / Issue 4 / December 2006
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1394-1410
- Print publication:
- December 2006
-
- Article
- Export citation
Computability Theory and Differential Geometry
-
- Journal:
- Bulletin of Symbolic Logic / Volume 10 / Issue 4 / December 2004
- Published online by Cambridge University Press:
- 15 January 2014, pp. 457-486
- Print publication:
- December 2004
-
- Article
- Export citation
Bounding prime models
-
- Journal:
- The Journal of Symbolic Logic / Volume 69 / Issue 4 / December 2004
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1117-1142
- Print publication:
- December 2004
-
- Article
- Export citation
Models of arithmetic and subuniform bounds for the arithmetic sets
-
- Journal:
- The Journal of Symbolic Logic / Volume 63 / Issue 1 / March 1998
- Published online by Cambridge University Press:
- 12 March 2014, pp. 59-72
- Print publication:
- March 1998
-
- 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
Computability and Recursion
-
- Journal:
- Bulletin of Symbolic Logic / Volume 2 / Issue 3 / September 1996
- Published online by Cambridge University Press:
- 15 January 2014, pp. 284-321
- Print publication:
- September 1996
-
- 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
Boolean algebras, Stone spaces, and the iterated Turing jump
-
- Journal:
- The Journal of Symbolic Logic / Volume 59 / Issue 4 / December 1994
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1121-1138
- Print publication:
- December 1994
-
- Article
- Export citation
Models of arithmetic and upper bounds for arithmetic sets
-
- Journal:
- The Journal of Symbolic Logic / Volume 59 / Issue 3 / September 1994
- Published online by Cambridge University Press:
- 12 March 2014, pp. 977-983
- Print publication:
- September 1994
-
- Article
- Export citation
Two theorems on degrees of models of true arithmetic
-
- Journal:
- The Journal of Symbolic Logic / Volume 49 / Issue 2 / June 1984
- Published online by Cambridge University Press:
- 12 March 2014, pp. 425-436
- Print publication:
- June 1984
-
- Article
- Export citation
Fundamental Methods for Constructing Recursively Enumerable Degrees
-
-
- Book:
- Recursion Theory, its Generalisations and Applications
- Published online:
- 09 February 2010
- Print publication:
- 13 November 1980, pp 1-51
-
- Chapter
- Export citation
Meeting of the Association for Symbolic Logic, Chicago, 1977
-
- Journal:
- The Journal of Symbolic Logic / Volume 43 / Issue 3 / September 1978
- Published online by Cambridge University Press:
- 12 March 2014, pp. 614-619
- Print publication:
- September 1978
-
- Article
- Export citation
Computational complexity, speedable and levelable sets1
-
- Journal:
- The Journal of Symbolic Logic / Volume 42 / Issue 4 / December 1977
- Published online by Cambridge University Press:
- 12 March 2014, pp. 545-563
- Print publication:
- December 1977
-
- Article
- Export citation
The infinite injury priority method1
-
- Journal:
- The Journal of Symbolic Logic / Volume 41 / Issue 2 / June 1976
- Published online by Cambridge University Press:
- 12 March 2014, pp. 513-530
- Print publication:
- June 1976
-
- Article
- Export citation
Meeting of the Association for Symbolic Logic, Chicago 1975
-
- Journal:
- The Journal of Symbolic Logic / Volume 41 / Issue 2 / June 1976
- Published online by Cambridge University Press:
- 12 March 2014, pp. 551-560
- Print publication:
- June 1976
-
- Article
- Export citation
Isomorphisms on countable vector spaces with recursive operations
-
- Journal:
- Journal of the Australian Mathematical Society (1959) / Volume 18 / Issue 2 / September 1974
- Published online by Cambridge University Press:
- 09 April 2009, pp. 230-235
- Print publication:
- September 1974
-
- Article
-
- You have access
- Export citation
Post's problem and his hypersimple set1
-
- Journal:
- The Journal of Symbolic Logic / Volume 38 / Issue 3 / September 1973
- Published online by Cambridge University Press:
- 12 March 2014, pp. 446-452
- Print publication:
- September 1973
-
- Article
- Export citation
Encodability of Kleene's O
-
- Journal:
- The Journal of Symbolic Logic / Volume 38 / Issue 3 / September 1973
- Published online by Cambridge University Press:
- 12 March 2014, pp. 437-440
- Print publication:
- September 1973
-
- Article
- Export citation