119 results in 03FXX
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. 124

 Article

 You have access
 HTML
 Export citation
A PARAMETERIZED HALTING PROBLEM, $ \Delta _0$ TRUTH AND THE MRDP THEOREM
 Part of

 Journal:
 The Journal of Symbolic Logic , First View
 Published online by Cambridge University Press:
 30 September 2024, pp. 126

 Article

 You have access
 HTML
 Export citation
NORMALISATION FOR NEGATIVE FREE LOGICS WITHOUT AND WITH DEFINITE DESCRIPTIONS
 Part of

 Journal:
 The Review of Symbolic Logic , First View
 Published online by Cambridge University Press:
 03 September 2024, pp. 133

 Article

 You have access
 Open access
 HTML
 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. 124

 Article

 You have access
 Open access
 HTML
 Export citation
Functorial FastGrowing 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
A WALK WITH GOODSTEIN
 Part of

 Journal:
 Bulletin of Symbolic Logic / Volume 30 / Issue 1 / March 2024
 Published online by Cambridge University Press:
 17 January 2024, pp. 119
 Print publication:
 March 2024

 Article

 You have access
 HTML
 Export citation
ON THE EXISTENCE OF STRONG PROOF COMPLEXITY GENERATORS
 Part of

 Journal:
 Bulletin of Symbolic Logic / Volume 30 / Issue 1 / March 2024
 Published online by Cambridge University Press:
 22 November 2023, pp. 2040
 Print publication:
 March 2024

 Article

 You have access
 Open access
 HTML
 Export citation
ONTOLOGICAL PURITY FOR FORMAL PROOFS
 Part of

 Journal:
 The Review of Symbolic Logic / Volume 17 / Issue 2 / June 2024
 Published online by Cambridge University Press:
 13 November 2023, pp. 395434
 Print publication:
 June 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. 146

 Article

 You have access
 HTML
 Export citation
DECIDABLE FRAGMENTS OF THE QUANTIFIED ARGUMENT CALCULUS
 Part of

 Journal:
 The Review of Symbolic Logic / Volume 17 / Issue 3 / September 2024
 Published online by Cambridge University Press:
 29 September 2023, pp. 736761
 Print publication:
 September 2024

 Article

 You have access
 Open 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. 116

 Article

 You have access
 Open access
 HTML
 Export citation
A PROOF COMPLEXITY CONJECTURE AND THE INCOMPLETENESS THEOREM
 Part of

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

 Article

 You have access
 Open access
 HTML
 Export citation
EXTENDED FRAMES AND SEPARATIONS OF LOGICAL PRINCIPLES
 Part of

 Journal:
 Bulletin of Symbolic Logic / Volume 29 / Issue 3 / September 2023
 Published online by Cambridge University Press:
 26 July 2023, pp. 311353
 Print publication:
 September 2023

 Article

 You have access
 HTML
 Export citation
‘A REMARKABLE ARTIFICE’: LAPLACE, POISSON AND MATHEMATICAL PURITY
 Part of

 Journal:
 The Review of Symbolic Logic , First View
 Published online by Cambridge University Press:
 24 July 2023, pp. 137

 Article

 You have access
 HTML
 Export citation
A SIMPLIFIED PROOF OF THE EPSILON THEOREMS
 Part of

 Journal:
 The Review of Symbolic Logic , First View
 Published online by Cambridge University Press:
 10 July 2023, pp. 116

 Article

 You have access
 HTML
 Export citation
CLASSICAL DETERMINATE TRUTH I
 Part of

 Journal:
 The Journal of Symbolic Logic / Volume 89 / Issue 1 / March 2024
 Published online by Cambridge University Press:
 05 July 2023, pp. 218261
 Print publication:
 March 2024

 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. 134

 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. 13671386
 Print publication:
 December 2023

 Article

 You have access
 Open access
 HTML
 Export citation
NONCONTRACTIVE LOGICS, PARADOXES, AND MULTIPLICATIVE QUANTIFIERS
 Part of

 Journal:
 The Review of Symbolic Logic , First View
 Published online by Cambridge University Press:
 05 June 2023, pp. 122

 Article

 You have access
 Open access
 HTML
 Export citation
UNDER LOCK AND KEY: A PROOF SYSTEM FOR A MULTIMODAL LOGIC
 Part of

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

 Article

 You have access
 Open access
 HTML
 Export citation