14 results
George Barmpalias, Andrew E. M. Lewis and Keng Meng NG. The importance of Π01 classes in effective randomness. The Journal of Symbolic Logic, vol. 75 (2010), pp. 387–400.  George Barmpalias, Andrew E. M. Lewis and Frank Stephan. Π01 classes, LR degrees and Turing degrees. Annals of Pure and Applied Logic, vol. 156 (2008), pp. 21–38.  Antonin Kučera. Measure, Π01 classes and complete extensions of PA. Recursion Theory Week (Oberwofach, 1984). Lecture Notes in Mathematics, vol. 1141. Springer, Berlin, 1985, pp. 245–259.  Frank Stephan. MartinLöf randomness and PA complete sets. Logic Colloquium '02. Lecture Notes in Logic, vol. 27, Association for Symbolic Logic, La Jolla, CA, 2006, pp. 342–348.

 Journal:
 Bulletin of Symbolic Logic / Volume 18 / Issue 3 / September 2012
 Published online by Cambridge University Press:
 15 January 2014, pp. 409412
 Print publication:
 September 2012

 Article
 Export citation
Equivalence structures and isomorphisms in the difference hierarchy

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

 Article
 Export citation
On the complexity of inductive definitions

 Journal:
 Mathematical Structures in Computer Science / Volume 16 / Issue 5 / October 2006
 Published online by Cambridge University Press:
 11 October 2006, pp. 763788

 Article
 Export citation
Complexity, decidability and completeness*

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

 Article
 Export citation
Prooftheoretic strength of the stable marriage theorem and other problems


 Book:
 Reverse Mathematics 2001
 Published online:
 31 March 2017
 Print publication:
 02 March 2005, pp 67103

 Chapter
 Export citation
Initial segments of the lattice of Π10 classes

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

 Article
 Export citation
On the ranked points of a Π10 set

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

 Article
 Export citation
Monotone reducibility and the family of infinite sets

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

 Article
 Export citation
Representations of WellFounded Preference Orders

 Journal:
 Canadian Journal of Mathematics / Volume 35 / Issue 3 / 01 June 1983
 Published online by Cambridge University Press:
 20 November 2018, pp. 496508
 Print publication:
 01 June 1983

 Article

 You have access
 Export citation
Jens E. Fenstad. General recursion theory. An axiomatic approach. Perspectives in mathematical logic. SpringerVerlag, Berlin, Heidelberg, and New York, 1980, XI + 225 pp.

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

 Article
 Export citation
The stability problem for transformations of the circle

 Journal:
 Proceedings of the Royal Society of Edinburgh. Section A: Mathematics / Volume 84 / Issue 34 / 1979
 Published online by Cambridge University Press:
 14 November 2011, pp. 279281
 Print publication:
 1979

 Article
 Export citation
Monotone inductive definitions over the continuum

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

 Article
 Export citation
Cores of Π11 sets of reals

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

 Article
 Export citation
Analytic inductive definitions

 Journal:
 The The Journal of Symbolic Logic / Volume 39 / Issue 2 / June 1974
 Published online by Cambridge University Press:
 12 March 2014, pp. 310312
 Print publication:
 June 1974

 Article
 Export citation