18 results
NOTES ON SACKS’ SPLITTING THEOREM
 Part of

 Journal:
 The Journal of Symbolic Logic , First View
 Published online by Cambridge University Press:
 26 October 2023, pp. 130

 Article

 You have access
 Open access
 HTML
 Export citation
Computable soft separation axioms

 Journal:
 Mathematical Structures in Computer Science / Volume 33 / Issue 9 / October 2023
 Published online by Cambridge University Press:
 12 October 2023, pp. 781808

 Article
 Export citation
COMPUTABLE TOPOLOGICAL GROUPS
 Part of

 Journal:
 The Journal of Symbolic Logic , First View
 Published online by Cambridge University Press:
 18 September 2023, pp. 133

 Article
 Export citation
ON THE C.E. DEGREES REALIZABLE IN $\Pi ^0_1$ CLASSES
 Part of

 Journal:
 The Journal of Symbolic Logic , First View
 Published online by Cambridge University Press:
 24 April 2023, pp. 126

 Article
 Export citation
CUPPING AND JUMP CLASSES IN THE COMPUTABLY ENUMERABLE DEGREES
 Part of

 Journal:
 The Journal of Symbolic Logic / Volume 85 / Issue 4 / December 2020
 Published online by Cambridge University Press:
 30 October 2020, pp. 14991545
 Print publication:
 December 2020

 Article
 Export citation
COMPUTABILITY OF POLISH SPACES UP TO HOMEOMORPHISM
 Part of

 Journal:
 The Journal of Symbolic Logic / Volume 85 / Issue 4 / December 2020
 Published online by Cambridge University Press:
 26 October 2020, pp. 16641686
 Print publication:
 December 2020

 Article
 Export citation
PUNCTUAL CATEGORICITY AND UNIVERSALITY
 Part of

 Journal:
 The Journal of Symbolic Logic / Volume 85 / Issue 4 / December 2020
 Published online by Cambridge University Press:
 22 October 2020, pp. 14271466
 Print publication:
 December 2020

 Article
 Export citation
COMPUTABLE LINEAR ORDERS AND PRODUCTS
 Part of

 Journal:
 The Journal of Symbolic Logic / Volume 85 / Issue 2 / June 2020
 Published online by Cambridge University Press:
 20 July 2020, pp. 605623
 Print publication:
 June 2020

 Article
 Export citation
AUTOMATIC AND POLYNOMIALTIME ALGEBRAIC STRUCTURES

 Journal:
 The Journal of Symbolic Logic / Volume 84 / Issue 4 / December 2019
 Published online by Cambridge University Press:
 29 April 2019, pp. 16301669
 Print publication:
 December 2019

 Article
 Export citation
FINITARY REDUCIBILITY ON EQUIVALENCE RELATIONS

 Journal:
 The Journal of Symbolic Logic / Volume 81 / Issue 4 / December 2016
 Published online by Cambridge University Press:
 01 December 2016, pp. 12251254
 Print publication:
 December 2016

 Article

 You have access
 Export citation
COMPLEXITY OF EQUIVALENCE RELATIONS AND PREORDERS FROM COMPUTABILITY THEORY

 Journal:
 The Journal of Symbolic Logic / Volume 79 / Issue 3 / September 2014
 Published online by Cambridge University Press:
 18 August 2014, pp. 859881
 Print publication:
 September 2014

 Article
 Export citation
ωCHANGE RANDOMNESS AND WEAK DEMUTH RANDOMNESS

 Journal:
 The Journal of Symbolic Logic / Volume 79 / Issue 3 / September 2014
 Published online by Cambridge University Press:
 18 August 2014, pp. 776791
 Print publication:
 September 2014

 Article
 Export citation
UNIVERSAL COMPUTABLY ENUMERABLE EQUIVALENCE RELATIONS

 Journal:
 The Journal of Symbolic Logic / Volume 79 / Issue 1 / March 2014
 Published online by Cambridge University Press:
 17 April 2014, pp. 6088
 Print publication:
 March 2014

 Article
 Export citation
Limits on jump inversion for strong reducibilities

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

 Article
 Export citation
Strengthening prompt simplicity

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

 Article
 Export citation
Jump inversions inside effectively closed sets and applications to randomness

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

 Article
 Export citation
The importance of Π10 classes in effective randomness

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

 Article
 Export citation
On very high degrees

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

 Article
 Export citation