131 results in 03DXX
ACKERMANN’S FUNCTION IN ITERATIVE FORM: A PROOF ASSISTANT EXPERIMENT
- Part of
-
- Journal:
- Bulletin of Symbolic Logic / Volume 27 / Issue 4 / December 2021
- Published online by Cambridge University Press:
- 27 September 2021, pp. 426-435
- Print publication:
- December 2021
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
$G_{\delta \sigma }$ GAMES AND INDUCTION ON REALS
- Part of
-
- Journal:
- The Journal of Symbolic Logic / Volume 86 / Issue 4 / December 2021
- Published online by Cambridge University Press:
- 13 September 2021, pp. 1676-1690
- Print publication:
- December 2021
-
- Article
- Export citation
ON SUPERSETS OF NON-LOW $_2$ SETS
- Part of
-
- Journal:
- The Journal of Symbolic Logic / Volume 86 / Issue 3 / September 2021
- Published online by Cambridge University Press:
- 13 September 2021, pp. 1282-1292
- Print publication:
- September 2021
-
- Article
- 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
ORDINAL ANALYSIS OF PARTIAL COMBINATORY ALGEBRAS
- Part of
-
- Journal:
- The Journal of Symbolic Logic / Volume 86 / Issue 3 / September 2021
- Published online by Cambridge University Press:
- 10 June 2021, pp. 1154-1188
- Print publication:
- September 2021
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
A COMPARISON OF VARIOUS ANALYTIC CHOICE PRINCIPLES
- Part of
-
- Journal:
- The Journal of Symbolic Logic / Volume 86 / Issue 4 / December 2021
- Published online by Cambridge University Press:
- 08 June 2021, pp. 1452-1485
- Print publication:
- December 2021
-
- Article
- Export citation
GOODSTEIN SEQUENCES BASED ON A PARAMETRIZED ACKERMANN–PÉTER FUNCTION
- Part of
-
- Journal:
- Bulletin of Symbolic Logic / Volume 27 / Issue 2 / June 2021
- Published online by Cambridge University Press:
- 02 July 2021, pp. 168-186
- Print publication:
- June 2021
-
- Article
- Export citation
The Structure of d.r.e. Degrees
- Part of
-
- Journal:
- Bulletin of Symbolic Logic / Volume 27 / Issue 2 / June 2021
- Published online by Cambridge University Press:
- 16 September 2021, pp. 218-219
- Print publication:
- June 2021
-
- Article
-
- You have access
- Export citation
Intrinsic density, asymptotic computability, and stochasticity
- Part of
-
- Journal:
- Bulletin of Symbolic Logic / Volume 27 / Issue 2 / June 2021
- Published online by Cambridge University Press:
- 16 September 2021, p. 220
- Print publication:
- June 2021
-
- Article
-
- You have access
- Export citation
On Transfinite Levels of the Ershov Hierarchy
- Part of
-
- Journal:
- Bulletin of Symbolic Logic / Volume 27 / Issue 2 / June 2021
- Published online by Cambridge University Press:
- 16 September 2021, pp. 220-221
- Print publication:
- June 2021
-
- Article
-
- You have access
- Export citation
Results on Martin’s Conjecture
- Part of
-
- Journal:
- Bulletin of Symbolic Logic / Volume 27 / Issue 2 / June 2021
- Published online by Cambridge University Press:
- 16 September 2021, pp. 219-220
- Print publication:
- June 2021
-
- Article
-
- You have access
- Export citation
A NOTE ON THE LEARNING-THEORETIC CHARACTERIZATIONS OF RANDOMNESS AND CONVERGENCE
- Part of
-
- Journal:
- The Review of Symbolic Logic / Volume 15 / Issue 3 / September 2022
- Published online by Cambridge University Press:
- 22 March 2021, pp. 807-822
- Print publication:
- September 2022
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
WELL ORDERING PRINCIPLES AND ${\Pi }^{1}_{4}$ -STATEMENTS: A PILOT STUDY
- Part of
-
- Journal:
- The Journal of Symbolic Logic / Volume 86 / Issue 2 / June 2021
- Published online by Cambridge University Press:
- 16 February 2021, pp. 709-745
- Print publication:
- June 2021
-
- Article
- Export citation
THE REVERSE MATHEMATICS OF THEOREMS OF JORDAN AND LEBESGUE
- Part of
-
- Journal:
- The Journal of Symbolic Logic / Volume 86 / Issue 4 / December 2021
- Published online by Cambridge University Press:
- 01 February 2021, pp. 1657-1675
- Print publication:
- December 2021
-
- Article
- Export citation
FINDING DESCENDING SEQUENCES THROUGH ILL-FOUNDED LINEAR ORDERS
- Part of
-
- Journal:
- The Journal of Symbolic Logic / Volume 86 / Issue 2 / June 2021
- Published online by Cambridge University Press:
- 01 February 2021, pp. 817-854
- Print publication:
- June 2021
-
- Article
- Export citation
SCOTT COMPLEXITY OF COUNTABLE STRUCTURES
- Part of
-
- Journal:
- The Journal of Symbolic Logic / Volume 86 / Issue 4 / December 2021
- Published online by Cambridge University Press:
- 01 February 2021, pp. 1706-1720
- Print publication:
- December 2021
-
- Article
- Export citation
THE OPEN AND CLOPEN RAMSEY THEOREMS IN THE WEIHRAUCH LATTICE
- Part of
-
- Journal:
- The Journal of Symbolic Logic / Volume 86 / Issue 1 / March 2021
- Published online by Cambridge University Press:
- 01 February 2021, pp. 316-351
- Print publication:
- March 2021
-
- Article
- Export citation
THE ORDER OF REFLECTION
- Part of
-
- Journal:
- The Journal of Symbolic Logic / Volume 86 / Issue 4 / December 2021
- Published online by Cambridge University Press:
- 08 January 2021, pp. 1555-1583
- Print publication:
- December 2021
-
- Article
- Export citation
FINDING THE LIMIT OF INCOMPLETENESS I
- Part of
-
- Journal:
- Bulletin of Symbolic Logic / Volume 26 / Issue 3-4 / December 2020
- Published online by Cambridge University Press:
- 16 April 2021, pp. 268-286
- Print publication:
- December 2020
-
- 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