8 results
Borel and Hausdorff hierarchies in topological spaces of Choquet games and their effectivization

 Journal:
 Mathematical Structures in Computer Science / Volume 25 / Issue 7 / October 2015
 Published online by Cambridge University Press:
 14 November 2014, pp. 14901519

 Article
 Export citation
Wadge hardness in Scott spaces and its effectivization

 Journal:
 Mathematical Structures in Computer Science / Volume 25 / Issue 7 / October 2015
 Published online by Cambridge University Press:
 14 November 2014, pp. 15201545

 Article

 You have access
 Export citation
From index sets to randomness in ∅n: random reals and possibly infinite computations part II

 Journal:
 The Journal of Symbolic Logic / Volume 74 / Issue 1 / March 2009
 Published online by Cambridge University Press:
 12 March 2014, pp. 124156
 Print publication:
 March 2009

 Article
 Export citation
Randomness and halting probabilities

 Journal:
 The Journal of Symbolic Logic / Volume 71 / Issue 4 / December 2006
 Published online by Cambridge University Press:
 12 March 2014, pp. 14111430
 Print publication:
 December 2006

 Article
 Export citation
Decision problems among the main subfamilies of rational relations

 Journal:
 RAIRO  Theoretical Informatics and Applications / Volume 40 / Issue 2 / April 2006
 Published online by Cambridge University Press:
 20 July 2006, pp. 255275
 Print publication:
 April 2006

 Article
 Export citation
Random reals and possibly infinite computations Part I: Randomness in ∅′

 Journal:
 The Journal of Symbolic Logic / Volume 70 / Issue 3 / September 2005
 Published online by Cambridge University Press:
 12 March 2014, pp. 891913
 Print publication:
 September 2005

 Article
 Export citation
Syntactical truth predicates for second order arithmetic

 Journal:
 The Journal of Symbolic Logic / Volume 66 / Issue 1 / March 2001
 Published online by Cambridge University Press:
 12 March 2014, pp. 225256
 Print publication:
 March 2001

 Article
 Export citation
Every recursive linear ordering has a copy in DTIMESPACE(n,log(n))

 Journal:
 The Journal of Symbolic Logic / Volume 55 / Issue 1 / March 1990
 Published online by Cambridge University Press:
 12 March 2014, pp. 260276
 Print publication:
 March 1990

 Article
 Export citation