6 results
A LOPEZ-ESCOBAR THEOREM FOR CONTINUOUS DOMAINS
- Part of
-
- Journal:
- The Journal of Symbolic Logic , First View
- Published online by Cambridge University Press:
- 15 March 2024, pp. 1-18
-
- Article
- Export citation
Rogers semilattices of punctual numberings
-
- Journal:
- Mathematical Structures in Computer Science / Volume 32 / Issue 2 / February 2022
- Published online by Cambridge University Press:
- 29 March 2022, pp. 164-188
-
- Article
- Export citation
AUTOMATIC AND POLYNOMIAL-TIME ALGEBRAIC STRUCTURES
-
- Journal:
- The Journal of Symbolic Logic / Volume 84 / Issue 4 / December 2019
- Published online by Cambridge University Press:
- 29 April 2019, pp. 1630-1669
- Print publication:
- December 2019
-
- Article
- Export citation
FOUNDATIONS OF ONLINE STRUCTURE THEORY
-
- Journal:
- Bulletin of Symbolic Logic / Volume 25 / Issue 2 / June 2019
- Published online by Cambridge University Press:
- 15 April 2019, pp. 141-181
- Print publication:
- June 2019
-
- Article
- Export citation
DEGREES OF CATEGORICITY AND SPECTRAL DIMENSION
-
- Journal:
- The Journal of Symbolic Logic / Volume 83 / Issue 1 / March 2018
- Published online by Cambridge University Press:
- 01 May 2018, pp. 103-116
- Print publication:
- March 2018
-
- Article
- Export citation
Autostability spectra for decidable structures
-
- Journal:
- Mathematical Structures in Computer Science / Volume 28 / Issue 3 / March 2018
- Published online by Cambridge University Press:
- 14 October 2016, pp. 392-411
-
- Article
- Export citation