14 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
THE REVERSE MATHEMATICS OF
${\mathsf {CAC\ FOR\ TREES}}$
- Part of
-
- Journal:
- The Journal of Symbolic Logic , First View
- Published online by Cambridge University Press:
- 28 April 2023, pp. 1-23
-
- Article
- Export citation
PARTITION GENERICITY AND PIGEONHOLE BASIS THEOREMS
- Part of
-
- Journal:
- The Journal of Symbolic Logic / Volume 89 / Issue 2 / June 2024
- Published online by Cambridge University Press:
- 03 October 2022, pp. 829-857
- Print publication:
- June 2024
-
- Article
- Export citation
ALMOST THEOREMS OF HYPERARITHMETIC ANALYSIS
- Part of
-
- Journal:
- The Journal of Symbolic Logic / Volume 88 / Issue 2 / June 2023
- Published online by Cambridge University Press:
- 01 August 2022, pp. 664-696
- Print publication:
- June 2023
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
Undecidability of the Spectral Gap
- Part of
-
- Journal:
- Forum of Mathematics, Pi / Volume 10 / 2022
- Published online by Cambridge University Press:
- 10 June 2022, e14
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
THEOREMS OF HYPERARITHMETIC ANALYSIS AND ALMOST THEOREMS OF HYPERARITHMETIC ANALYSIS
- Part of
-
- Journal:
- Bulletin of Symbolic Logic / Volume 28 / Issue 1 / March 2022
- Published online by Cambridge University Press:
- 31 March 2022, pp. 133-149
- Print publication:
- March 2022
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
THE REVERSE MATHEMATICS OF THE THIN SET AND ERDŐS–MOSER THEOREMS
- Part of
-
- Journal:
- The Journal of Symbolic Logic / Volume 87 / Issue 1 / March 2022
- Published online by Cambridge University Press:
- 24 November 2021, pp. 313-346
- Print publication:
- March 2022
-
- Article
- 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
RAMSEY-LIKE THEOREMS AND MODULI OF COMPUTATION
- Part of
-
- Journal:
- The Journal of Symbolic Logic / Volume 87 / Issue 1 / March 2022
- Published online by Cambridge University Press:
- 27 October 2020, pp. 72-108
- Print publication:
- March 2022
-
- 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. 1664-1686
- Print publication:
- December 2020
-
- Article
- Export citation
RELATIONSHIPS BETWEEN COMPUTABILITY-THEORETIC PROPERTIES OF PROBLEMS
- Part of
-
- Journal:
- The Journal of Symbolic Logic / Volume 87 / Issue 1 / March 2022
- Published online by Cambridge University Press:
- 05 October 2020, pp. 47-71
- Print publication:
- March 2022
-
- Article
- Export citation
MUCHNIK DEGREES AND CARDINAL CHARACTERISTICS
- Part of
-
- Journal:
- The Journal of Symbolic Logic / Volume 86 / Issue 2 / June 2021
- Published online by Cambridge University Press:
- 04 September 2020, pp. 471-498
- Print publication:
- June 2021
-
- Article
- Export citation
AN APPLICATION OF RECURSION THEORY TO ANALYSIS
- Part of
-
- Journal:
- Bulletin of Symbolic Logic / Volume 26 / Issue 1 / March 2020
- Published online by Cambridge University Press:
- 11 June 2020, pp. 15-25
- Print publication:
- March 2020
-
- Article
- Export citation
The expressiveness of quasiperiodic and minimal shifts of finite type
- Part of
-
- Journal:
- Ergodic Theory and Dynamical Systems / Volume 41 / Issue 4 / April 2021
- Published online by Cambridge University Press:
- 22 January 2020, pp. 1086-1138
- Print publication:
- April 2021
-
- Article
- Export citation