120 results in 03DXX
FRACTAL DIMENSIONS OF kAUTOMATIC SETS
 Part of

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

 Article
 Export citation
COMPUTABLE VS DESCRIPTIVE COMBINATORICS OF LOCAL PROBLEMS ON TREES
 Part of

 Journal:
 The Journal of Symbolic Logic , First View
 Published online by Cambridge University Press:
 04 July 2023, pp. 115

 Article

 You have access
 Open access
 HTML
 Export citation
THE STRENGTH OF AN AXIOM OF FINITE CHOICE FOR BRANCHES IN TREES
 Part of

 Journal:
 The Journal of Symbolic Logic , First View
 Published online by Cambridge University Press:
 14 June 2023, pp. 120

 Article

 You have access
 Open access
 HTML
 Export citation
Effective Concept Classes of PAC and PACi Incomparable Degrees, Joins and Embedding of Degrees
 Part of

 Journal:
 Bulletin of Symbolic Logic / Volume 29 / Issue 2 / June 2023
 Published online by Cambridge University Press:
 18 July 2023, pp. 298299
 Print publication:
 June 2023

 Article

 You have access
 HTML
 Export citation
The firstorder theory of binary overlapfree words is decidable
 Part of

 Journal:
 Canadian Journal of Mathematics , First View
 Published online by Cambridge University Press:
 26 May 2023, pp. 119

 Article

 You have access
 Open access
 HTML
 Export citation
INVESTIGATING THE COMPUTABLE FRIEDMAN–STANLEY JUMP
 Part of

 Journal:
 The Journal of Symbolic Logic , First View
 Published online by Cambridge University Press:
 17 May 2023, pp. 127

 Article
 Export citation
SOME CONSEQUENCES OF ${\mathrm {TD}}$ AND ${\mathrm {sTD}}$
 Part of

 Journal:
 The Journal of Symbolic Logic , First View
 Published online by Cambridge University Press:
 15 May 2023, pp. 117

 Article
 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. 170263
 Print publication:
 June 2023

 Article
 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. 123

 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
COMPUTABLE PRESENTATIONS OF C*ALGEBRAS
 Part of

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

 Article
 Export citation
COMPARING COMPUTABILITY IN TWO TOPOLOGIES
 Part of

 Journal:
 The Journal of Symbolic Logic , First View
 Published online by Cambridge University Press:
 27 March 2023, pp. 119

 Article
 Export citation
ON COHESIVE POWERS OF LINEAR ORDERS
 Part of

 Journal:
 The Journal of Symbolic Logic / Volume 88 / Issue 3 / September 2023
 Published online by Cambridge University Press:
 13 March 2023, pp. 9471004
 Print publication:
 September 2023

 Article

 You have access
 Open access
 HTML
 Export citation
ON CUPPING AND AHMAD PAIRS
 Part of

 Journal:
 The Journal of Symbolic Logic , First View
 Published online by Cambridge University Press:
 11 December 2022, pp. 112

 Article
 Export citation
ON ROBUST THEOREMS DUE TO BOLZANO, WEIERSTRASS, JORDAN, AND CANTOR
 Part of

 Journal:
 The Journal of Symbolic Logic , First View
 Published online by Cambridge University Press:
 03 October 2022, pp. 151

 Article
 Export citation
PARTITION GENERICITY AND PIGEONHOLE BASIS THEOREMS
 Part of

 Journal:
 The Journal of Symbolic Logic , First View
 Published online by Cambridge University Press:
 03 October 2022, pp. 129

 Article
 Export citation
FINITIST AXIOMATIC TRUTH
 Part of

 Journal:
 The Journal of Symbolic Logic / Volume 88 / Issue 1 / March 2023
 Published online by Cambridge University Press:
 26 September 2022, pp. 2273
 Print publication:
 March 2023

 Article

 You have access
 Open access
 HTML
 Export citation
EXPANDING THE REALS BY CONTINUOUS FUNCTIONS ADDS NO COMPUTATIONAL POWER
 Part of

 Journal:
 The Journal of Symbolic Logic / Volume 88 / Issue 3 / September 2023
 Published online by Cambridge University Press:
 26 September 2022, pp. 10831102
 Print publication:
 September 2023

 Article
 Export citation
THE TURING DEGREES AND KEISLER’S ORDER
 Part of

 Journal:
 The Journal of Symbolic Logic , First View
 Published online by Cambridge University Press:
 07 September 2022, pp. 111

 Article

 You have access
 Open access
 HTML
 Export citation
MAXIMAL TOWERS AND ULTRAFILTER BASES IN COMPUTABILITY THEORY
 Part of

 Journal:
 The Journal of Symbolic Logic / Volume 88 / Issue 3 / September 2023
 Published online by Cambridge University Press:
 15 August 2022, pp. 11701190
 Print publication:
 September 2023

 Article
 Export citation