11 results
The complexity of completions in partial combinatory algebra
-
- Journal:
- Mathematical Structures in Computer Science , First View
- Published online by Cambridge University Press:
- 23 September 2024, pp. 1-12
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
ORDINAL ANALYSIS OF PARTIAL COMBINATORY ALGEBRAS
- Part of
-
- Journal:
- The Journal of Symbolic Logic / Volume 86 / Issue 3 / September 2021
- Published online by Cambridge University Press:
- 10 June 2021, pp. 1154-1188
- Print publication:
- September 2021
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
COMPUTABILITY IN PARTIAL COMBINATORY ALGEBRAS
- Part of
-
- Journal:
- Bulletin of Symbolic Logic / Volume 26 / Issue 3-4 / December 2020
- Published online by Cambridge University Press:
- 05 January 2021, pp. 224-240
- Print publication:
- December 2020
-
- Article
-
- You have access
- Open access
- Export citation
GENERALIZATIONS OF THE RECURSION THEOREM
-
- Journal:
- The Journal of Symbolic Logic / Volume 83 / Issue 4 / December 2018
- Published online by Cambridge University Press:
- 21 December 2018, pp. 1683-1690
- Print publication:
- December 2018
-
- Article
- Export citation
MODEL THEORY OF MEASURE SPACES AND PROBABILITY LOGIC
-
- Journal:
- The Review of Symbolic Logic / Volume 6 / Issue 3 / September 2013
- Published online by Cambridge University Press:
- 08 April 2013, pp. 367-393
- Print publication:
- September 2013
-
- Article
- Export citation
On the structure of the Medvedev lattice
-
- Journal:
- The Journal of Symbolic Logic / Volume 73 / Issue 2 / June 2008
- Published online by Cambridge University Press:
- 12 March 2014, pp. 543-558
- Print publication:
- June 2008
-
- Article
- Export citation
Calibrating Randomness
-
- Journal:
- Bulletin of Symbolic Logic / Volume 12 / Issue 3 / September 2006
- Published online by Cambridge University Press:
- 15 January 2014, pp. 411-491
- Print publication:
- September 2006
-
- Article
- Export citation
Learning and computing in the limit
-
-
- Book:
- Logic Colloquium '02
- Published online:
- 31 March 2017
- Print publication:
- 02 March 2006, pp 349-359
-
- Chapter
- Export citation
Randomness, relativization and Turing degrees
-
- Journal:
- The Journal of Symbolic Logic / Volume 70 / Issue 2 / June 2005
- Published online by Cambridge University Press:
- 12 March 2014, pp. 515-535
- Print publication:
- June 2005
-
- Article
- Export citation
Computational randomness and lowness*
-
- Journal:
- The Journal of Symbolic Logic / Volume 66 / Issue 3 / September 2001
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1199-1205
- Print publication:
- September 2001
-
- Article
- Export citation
Lowness for the class of random sets
-
- Journal:
- The Journal of Symbolic Logic / Volume 64 / Issue 4 / December 1999
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1396-1402
- Print publication:
- December 1999
-
- Article
- Export citation