9 results
COMPUTABLE TOPOLOGICAL GROUPS
- Part of
-
- Journal:
- The Journal of Symbolic Logic , First View
- Published online by Cambridge University Press:
- 18 September 2023, pp. 1-33
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
COMPUTABLY COMPACT METRIC SPACES
- Part of
-
- Journal:
- Bulletin of Symbolic Logic / Volume 29 / Issue 2 / June 2023
- Published online by Cambridge University Press:
- 11 May 2023, pp. 170-263
- Print publication:
- June 2023
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
J2102+6015: a potential distant multimessenger?
-
- Journal:
- Proceedings of the International Astronomical Union / Volume 17 / Issue S375 / December 2021
- Published online by Cambridge University Press:
- 11 September 2023, pp. 86-90
- Print publication:
- December 2021
-
- Article
-
- You have access
- Open access
- Export citation
ON THE COMPLEXITY OF CLASSIFYING LEBESGUE SPACES
- Part of
-
- Journal:
- The Journal of Symbolic Logic / Volume 85 / Issue 3 / September 2020
- Published online by Cambridge University Press:
- 26 October 2020, pp. 1254-1288
- Print publication:
- September 2020
-
- Article
- Export citation
UNIFORM PROCEDURES IN UNCOUNTABLE STRUCTURES
-
- Journal:
- The Journal of Symbolic Logic / Volume 83 / Issue 2 / June 2018
- Published online by Cambridge University Press:
- 01 August 2018, pp. 529-550
- Print publication:
- June 2018
-
- Article
- Export citation
COMPUTABLE ABELIAN GROUPS
-
- Journal:
- Bulletin of Symbolic Logic / Volume 20 / Issue 3 / September 2014
- Published online by Cambridge University Press:
- 24 October 2014, pp. 315-356
- Print publication:
- September 2014
-
- Article
- Export citation
Computably Isometric Spaces
-
- Journal:
- The Journal of Symbolic Logic / Volume 78 / Issue 4 / December 2013
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1055-1085
- Print publication:
- December 2013
-
- Article
- Export citation
Uri Andrews. A new spectrum of recursive models using an amalgamation construction. The Journal of Symbolic Logic, vol. 73 (2011), no. 3, pp. 883–896. - Bakhadyr Khoussainov and Antonio Montalbán. A computable ℵ0-categorical structure whose theory computes true arithmetic. The Journal of Symbolic Logic, vol. 72 (2010), no. 2, pp. 728–740.
-
- Journal:
- Bulletin of Symbolic Logic / Volume 19 / Issue 3 / September 2013
- Published online by Cambridge University Press:
- 05 September 2014, pp. 400-401
- Print publication:
- September 2013
-
- Article
- Export citation
Jump degrees of torsion-free abelian groups
-
- Journal:
- The Journal of Symbolic Logic / Volume 77 / Issue 4 / December 2012
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1067-1100
- Print publication:
- December 2012
-
- Article
- Export citation