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. Martin-Lö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. 409-412
- Print publication:
- September 2012
-
- Article
- Export citation
Equivalence structures and isomorphisms in the difference hierarchy
-
- Journal:
- The Journal of Symbolic Logic / Volume 74 / Issue 2 / June 2009
- Published online by Cambridge University Press:
- 12 March 2014, pp. 535-556
- 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. 763-788
-
- Article
- Export citation
Complexity, decidability and completeness*
-
- Journal:
- The Journal of Symbolic Logic / Volume 71 / Issue 2 / June 2006
- Published online by Cambridge University Press:
- 12 March 2014, pp. 399-424
- Print publication:
- June 2006
-
- Article
- Export citation
Proof-theoretic strength of the stable marriage theorem and other problems
-
-
- Book:
- Reverse Mathematics 2001
- Published online:
- 31 March 2017
- Print publication:
- 02 March 2005, pp 67-103
-
- Chapter
- Export citation
Initial segments of the lattice of Π10 classes
-
- Journal:
- The Journal of Symbolic Logic / Volume 66 / Issue 4 / December 2001
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1749-1765
- Print publication:
- December 2001
-
- Article
- Export citation
On the ranked points of a Π10 set
-
- Journal:
- The Journal of Symbolic Logic / Volume 54 / Issue 3 / September 1989
- Published online by Cambridge University Press:
- 12 March 2014, pp. 975-991
- Print publication:
- September 1989
-
- Article
- Export citation
Monotone reducibility and the family of infinite sets
-
- Journal:
- The Journal of Symbolic Logic / Volume 49 / Issue 3 / September 1984
- Published online by Cambridge University Press:
- 12 March 2014, pp. 774-782
- Print publication:
- September 1984
-
- Article
- Export citation
Representations of Well-Founded Preference Orders
-
- Journal:
- Canadian Journal of Mathematics / Volume 35 / Issue 3 / 01 June 1983
- Published online by Cambridge University Press:
- 20 November 2018, pp. 496-508
- Print publication:
- 01 June 1983
-
- Article
-
- You have access
- Export citation
Jens E. Fenstad. General recursion theory. An axiomatic approach. Perspectives in mathematical logic. Springer-Verlag, Berlin, Heidelberg, and New York, 1980, XI + 225 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 47 / Issue 3 / September 1982
- Published online by Cambridge University Press:
- 12 March 2014, pp. 696-698
- 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 3-4 / 1979
- Published online by Cambridge University Press:
- 14 November 2011, pp. 279-281
- Print publication:
- 1979
-
- Article
- Export citation
Monotone inductive definitions over the continuum
-
- Journal:
- The Journal of Symbolic Logic / Volume 41 / Issue 1 / March 1976
- Published online by Cambridge University Press:
- 12 March 2014, pp. 188-198
- Print publication:
- March 1976
-
- Article
- Export citation
Cores of Π11 sets of reals
-
- Journal:
- The Journal of Symbolic Logic / Volume 39 / Issue 4 / December 1974
- Published online by Cambridge University Press:
- 12 March 2014, pp. 649-654
- Print publication:
- December 1974
-
- Article
- Export citation
Analytic inductive definitions
-
- Journal:
- The Journal of Symbolic Logic / Volume 39 / Issue 2 / June 1974
- Published online by Cambridge University Press:
- 12 March 2014, pp. 310-312
- Print publication:
- June 1974
-
- Article
- Export citation