10 results
LINEAR ORDERS REALIZED BY C.E. EQUIVALENCE RELATIONS
-
- Journal:
- The Journal of Symbolic Logic / Volume 81 / Issue 2 / June 2016
- Published online by Cambridge University Press:
- 03 May 2016, pp. 463-482
- Print publication:
- June 2016
-
- Article
- Export citation
Three lectures on automatic structures
-
-
- Book:
- Logic Colloquium 2007
- Published online:
- 01 March 2011
- Print publication:
- 07 June 2010, pp 132-176
-
- Chapter
- Export citation
A computable ℵ0-categorical structure whose theory computes true arithmetic
-
- Journal:
- The Journal of Symbolic Logic / Volume 75 / Issue 2 / June 2010
- Published online by Cambridge University Press:
- 12 March 2014, pp. 728-740
- Print publication:
- June 2010
-
- Article
- Export citation
Unary automatic graphs: an algorithmic perspective
-
- Journal:
- Mathematical Structures in Computer Science / Volume 19 / Issue 1 / February 2009
- Published online by Cambridge University Press:
- 01 February 2009, pp. 133-152
-
- Article
- Export citation
Applications of Kolmogorov complexity to computable model theory
-
- Journal:
- The Journal of Symbolic Logic / Volume 72 / Issue 3 / September 2007
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1041-1054
- Print publication:
- September 2007
-
- Article
- Export citation
A computably categorical structure whose expansion by a constant has infinite computable dimension
-
- Journal:
- The Journal of Symbolic Logic / Volume 68 / Issue 4 / December 2003
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1199-1241
- Print publication:
- December 2003
-
- Article
- Export citation
Handbook of recursive mathematics, Volume 1, Recursive model theory, edited by Yu. L. Ershov, S. S. Goncharov, A. Nerode, and J. B. Remmel, with V. W. Marek, Studies in logic and the foundations of mathematics, vol. 138, Elsevier, Amsterdam etc. 1998, xlvi + 620 pp.
-
- Journal:
- Bulletin of Symbolic Logic / Volume 7 / Issue 1 / March 2001
- Published online by Cambridge University Press:
- 15 January 2014, pp. 66-69
- Print publication:
- March 2001
-
- Article
- Export citation
Effective Model Theory: The Number of Models and Their Complexity
-
-
- Book:
- Models and Computability
- Published online:
- 17 May 2010
- Print publication:
- 17 June 1999, pp 193-240
-
- Chapter
- Export citation
Degree-Theoretic Aspects of Computably Enumerable Reals
-
-
- Book:
- Models and Computability
- Published online:
- 17 May 2010
- Print publication:
- 17 June 1999, pp 23-40
-
- Chapter
- Export citation
Computably categorical structures and expansions by constants
-
- Journal:
- The Journal of Symbolic Logic / Volume 64 / Issue 1 / March 1999
- Published online by Cambridge University Press:
- 12 March 2014, pp. 13-37
- Print publication:
- March 1999
-
- Article
- Export citation