52 results
APPROXIMATION THEOREMS THROUGHOUT REVERSE MATHEMATICS
- Part of
-
- Journal:
- The Journal of Symbolic Logic , First View
- Published online by Cambridge University Press:
- 25 November 2024, pp. 1-32
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
A RECURSIVE COLORING FUNCTION WITHOUT $ \Pi _3^0$ SOLUTIONS FOR HINDMAN’S THEOREM
- Part of
-
- Journal:
- The Journal of Symbolic Logic , First View
- Published online by Cambridge University Press:
- 29 October 2024, pp. 1-24
-
- Article
-
- You have access
- HTML
- Export citation
Many problems, different frameworks: classification of problems in computable analysis and algorithmic learning theory
- Part of
-
- Journal:
- Bulletin of Symbolic Logic / Volume 30 / Issue 2 / June 2024
- Published online by Cambridge University Press:
- 11 November 2024, pp. 287-288
- Print publication:
- June 2024
-
- Article
-
- You have access
- Export citation
ARROW’S THEOREM, ULTRAFILTERS, AND REVERSE MATHEMATICS
- Part of
-
- Journal:
- The Review of Symbolic Logic , First View
- Published online by Cambridge University Press:
- 29 February 2024, pp. 1-24
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
Functorial Fast-Growing Hierarchies
- Part of
-
- Journal:
- Forum of Mathematics, Sigma / Volume 12 / 2024
- Published online by Cambridge University Press:
- 26 January 2024, e15
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
POINCARÉ–WEYL’S PREDICATIVITY: GOING BEYOND $\Gamma _{0}$
- Part of
-
- Journal:
- Bulletin of Symbolic Logic / Volume 30 / Issue 1 / March 2024
- Published online by Cambridge University Press:
- 19 January 2024, pp. 41-91
- Print publication:
- March 2024
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
BIG IN REVERSE MATHEMATICS: MEASURE AND CATEGORY
- Part of
-
- Journal:
- The Journal of Symbolic Logic , First View
- Published online by Cambridge University Press:
- 17 October 2023, pp. 1-46
-
- Article
-
- You have access
- HTML
- Export citation
WEAK WELL ORDERS AND FRAÏSSÉ’S CONJECTURE
- Part of
-
- Journal:
- The Journal of Symbolic Logic , First View
- Published online by Cambridge University Press:
- 27 September 2023, pp. 1-16
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
BIG IN REVERSE MATHEMATICS: THE UNCOUNTABILITY OF THE REALS
- Part of
-
- Journal:
- The Journal of Symbolic Logic , First View
- Published online by Cambridge University Press:
- 29 June 2023, pp. 1-34
-
- 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 / Volume 88 / Issue 4 / December 2023
- Published online by Cambridge University Press:
- 14 June 2023, pp. 1367-1386
- Print publication:
- December 2023
-
- 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 / Volume 89 / Issue 3 / September 2024
- Published online by Cambridge University Press:
- 28 April 2023, pp. 1189-1211
- Print publication:
- September 2024
-
- Article
-
- You have access
- HTML
- Export citation
(EXTRA)ORDINARY EQUIVALENCES WITH THE ASCENDING/DESCENDING SEQUENCE PRINCIPLE
- Part of
-
- Journal:
- The Journal of Symbolic Logic / Volume 89 / Issue 1 / March 2024
- Published online by Cambridge University Press:
- 29 December 2022, pp. 262-307
- Print publication:
- March 2024
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
ON ROBUST THEOREMS DUE TO BOLZANO, WEIERSTRASS, JORDAN, AND CANTOR
- Part of
-
- Journal:
- The Journal of Symbolic Logic / Volume 89 / Issue 3 / September 2024
- Published online by Cambridge University Press:
- 03 October 2022, pp. 1077-1127
- Print publication:
- September 2024
-
- Article
-
- You have access
- HTML
- 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
-
- You have access
- HTML
- 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
HOW STRONG IS RAMSEY’S THEOREM IF INFINITY CAN BE WEAK?
- Part of
-
- Journal:
- The Journal of Symbolic Logic / Volume 88 / Issue 2 / June 2023
- Published online by Cambridge University Press:
- 14 June 2022, pp. 620-639
- Print publication:
- June 2023
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
A NOTE ON FRAGMENTS OF UNIFORM REFLECTION IN SECOND ORDER ARITHMETIC
- Part of
-
- Journal:
- Bulletin of Symbolic Logic / Volume 28 / Issue 3 / September 2022
- Published online by Cambridge University Press:
- 09 June 2022, pp. 451-465
- Print publication:
- September 2022
-
- Article
- Export citation
TWO-SORTED FREGE ARITHMETIC IS NOT CONSERVATIVE
- Part of
-
- Journal:
- The Review of Symbolic Logic / Volume 16 / Issue 4 / December 2023
- Published online by Cambridge University Press:
- 18 April 2022, pp. 1199-1232
- Print publication:
- December 2023
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
ON THE UNCOUNTABILITY OF ${\mathbb R}$
- Part of
-
- Journal:
- The Journal of Symbolic Logic / Volume 87 / Issue 4 / December 2022
- Published online by Cambridge University Press:
- 07 April 2022, pp. 1474-1521
- Print publication:
- December 2022
-
- Article
- 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