13 results
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. 1-26
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
WHICH CLASSES OF STRUCTURES ARE BOTH PSEUDO-ELEMENTARY AND DEFINABLE BY AN INFINITARY SENTENCE?
- Part of
-
- Journal:
- Bulletin of Symbolic Logic / Volume 29 / Issue 1 / March 2023
- Published online by Cambridge University Press:
- 15 March 2023, pp. 1-18
- Print publication:
- March 2023
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
SOME QUESTIONS OF UNIFORMITY IN ALGORITHMIC RANDOMNESS
- Part of
-
- Journal:
- The Journal of Symbolic Logic / Volume 86 / Issue 4 / December 2021
- Published online by Cambridge University Press:
- 12 August 2021, pp. 1612-1631
- Print publication:
- December 2021
-
- Article
- Export citation
DEGREES OF CATEGORICITY ON A CONE VIA η-SYSTEMS
-
- Journal:
- The Journal of Symbolic Logic / Volume 82 / Issue 1 / March 2017
- Published online by Cambridge University Press:
- 21 March 2017, pp. 325-346
- Print publication:
- March 2017
-
- 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. 1287-1296
- Print publication:
- December 2011
-
- Article
- Export citation
Computability of Fraïssé limits
-
- Journal:
- The Journal of Symbolic Logic / Volume 76 / Issue 1 / March 2011
- Published online by Cambridge University Press:
- 12 March 2014, pp. 66-93
- Print publication:
- March 2011
-
- Article
- Export citation
The strength of the rainbow Ramsey Theorem
-
- Journal:
- The Journal of Symbolic Logic / Volume 74 / Issue 4 / December 2009
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1310-1324
- Print publication:
- December 2009
-
- Article
- Export citation
The settling-time reducibility ordering
-
- Journal:
- The Journal of Symbolic Logic / Volume 72 / Issue 3 / September 2007
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1055-1071
- Print publication:
- September 2007
-
- Article
- Export citation
Bounding homogenous models
-
- Journal:
- The Journal of Symbolic Logic / Volume 72 / Issue 1 / March 2007
- Published online by Cambridge University Press:
- 12 March 2014, pp. 305-323
- Print publication:
- March 2007
-
- Article
- Export citation
Computability Results Used in Differential Geometry
-
- Journal:
- The Journal of Symbolic Logic / Volume 71 / Issue 4 / December 2006
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1394-1410
- Print publication:
- December 2006
-
- Article
- Export citation
Every 1-generic computes a properly 1-generic
-
- Journal:
- The Journal of Symbolic Logic / Volume 71 / Issue 4 / December 2006
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1385-1393
- Print publication:
- December 2006
-
- Article
- Export citation
Bounding prime models
-
- Journal:
- The Journal of Symbolic Logic / Volume 69 / Issue 4 / December 2004
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1117-1142
- Print publication:
- December 2004
-
- Article
- Export citation
Degree spectra of prime models
-
- Journal:
- The Journal of Symbolic Logic / Volume 69 / Issue 2 / June 2004
- Published online by Cambridge University Press:
- 12 March 2014, pp. 430-442
- Print publication:
- June 2004
-
- Article
- Export citation