3 results
Computable model theory
-
-
- Book:
- Turing's Legacy
- Published online:
- 05 June 2014
- Print publication:
- 01 May 2014, pp 124-194
-
- Chapter
- Export citation
Isomorphism relations on computable structures
-
- Journal:
- The Journal of Symbolic Logic / Volume 77 / Issue 1 / March 2012
- Published online by Cambridge University Press:
- 12 March 2014, pp. 122-132
- Print publication:
- March 2012
-
- Article
- Export citation
Intrinsic bounds on complexity and definability at limit levels
-
- Journal:
- The Journal of Symbolic Logic / Volume 74 / Issue 3 / September 2009
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1047-1060
- Print publication:
- September 2009
-
- Article
- Export citation