116 results in 03FXX
Proof Mining with the Bounded Functional Interpretation
- Part of
-
- Journal:
- Bulletin of Symbolic Logic / Volume 28 / Issue 2 / June 2022
- Published online by Cambridge University Press:
- 28 June 2022, pp. 265-266
- Print publication:
- June 2022
-
- Article
-
- You have access
- Export citation
THE AXIOM OF CHOICE IS FALSE INTUITIONISTICALLY (IN MOST CONTEXTS)
- Part of
-
- Journal:
- Bulletin of Symbolic Logic / Volume 29 / Issue 1 / March 2023
- Published online by Cambridge University Press:
- 31 May 2022, pp. 71-96
- Print publication:
- March 2023
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
MODEL THEORY AND PROOF THEORY OF THE GLOBAL REFLECTION PRINCIPLE
- Part of
-
- Journal:
- The Journal of Symbolic Logic / Volume 88 / Issue 2 / June 2023
- Published online by Cambridge University Press:
- 20 May 2022, pp. 738-779
- Print publication:
- June 2023
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
AN ESCAPE FROM VARDANYAN’S THEOREM
- Part of
-
- Journal:
- The Journal of Symbolic Logic / Volume 88 / Issue 4 / December 2023
- Published online by Cambridge University Press:
- 13 May 2022, pp. 1613-1638
- Print publication:
- December 2023
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
PROOF SYSTEMS FOR EXACT ENTAILMENT
- Part of
-
- Journal:
- The Review of Symbolic Logic / Volume 16 / Issue 4 / December 2023
- Published online by Cambridge University Press:
- 11 May 2022, pp. 1260-1295
- Print publication:
- December 2023
-
- Article
-
- You have access
- Open access
- HTML
- 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
CONSERVATION THEOREMS ON SEMI-CLASSICAL ARITHMETIC
- Part of
-
- Journal:
- The Journal of Symbolic Logic / Volume 88 / Issue 4 / December 2023
- Published online by Cambridge University Press:
- 17 March 2022, pp. 1469-1496
- Print publication:
- December 2023
-
- 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
The spectrum of a localic semiring
- Part of
-
- Journal:
- Mathematical Proceedings of the Cambridge Philosophical Society / Volume 173 / Issue 3 / November 2022
- Published online by Cambridge University Press:
- 28 February 2022, pp. 647-668
- Print publication:
- November 2022
-
- Article
- Export citation
A SIMPLE SEQUENT SYSTEM FOR MINIMALLY INCONSISTENT LP
- Part of
-
- Journal:
- The Review of Symbolic Logic / Volume 16 / Issue 4 / December 2023
- Published online by Cambridge University Press:
- 23 February 2022, pp. 1296-1311
- Print publication:
- December 2023
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
Bounds for a nonlinear ergodic theorem for Banach spaces
- Part of
-
- Journal:
- Ergodic Theory and Dynamical Systems / Volume 43 / Issue 5 / May 2023
- Published online by Cambridge University Press:
- 18 February 2022, pp. 1570-1593
- Print publication:
- May 2023
-
- Article
- Export citation
MUTUAL INTERPRETABILITY OF WEAK ESSENTIALLY UNDECIDABLE THEORIES
- Part of
-
- Journal:
- The Journal of Symbolic Logic / Volume 87 / Issue 4 / December 2022
- Published online by Cambridge University Press:
- 18 February 2022, pp. 1374-1395
- Print publication:
- December 2022
-
- Article
- Export citation
$\mathrm {KF}$ , $\mathrm {PKF}$ , AND REINHARDT’S PROGRAM
- Part of
-
- Journal:
- The Review of Symbolic Logic / Volume 16 / Issue 1 / March 2023
- Published online by Cambridge University Press:
- 08 February 2022, pp. 33-58
- Print publication:
- March 2023
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
COMPLETE INTUITIONISTIC TEMPORAL LOGICS FOR TOPOLOGICAL DYNAMICS
- Part of
-
- Journal:
- The Journal of Symbolic Logic / Volume 87 / Issue 3 / September 2022
- Published online by Cambridge University Press:
- 04 February 2022, pp. 995-1022
- Print publication:
- September 2022
-
- Article
- Export citation
EPSILON THEOREMS IN INTERMEDIATE LOGICS
- Part of
-
- Journal:
- The Journal of Symbolic Logic / Volume 87 / Issue 2 / June 2022
- Published online by Cambridge University Press:
- 10 January 2022, pp. 682-720
- Print publication:
- June 2022
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
SZEMERÉDI’S THEOREM: AN EXPLORATION OF IMPURITY, EXPLANATION, AND CONTENT
- Part of
-
- Journal:
- The Review of Symbolic Logic / Volume 16 / Issue 3 / September 2023
- Published online by Cambridge University Press:
- 03 December 2021, pp. 700-739
- Print publication:
- September 2023
-
- Article
- Export citation
MONADIC INTUITIONISTIC AND MODAL LOGICS ADMITTING PROVABILITY INTERPRETATIONS
- Part of
-
- Journal:
- The Journal of Symbolic Logic / Volume 88 / Issue 1 / March 2023
- Published online by Cambridge University Press:
- 02 December 2021, pp. 427-467
- Print publication:
- March 2023
-
- Article
- Export citation
THE JACOBSON RADICAL OF A PROPOSITIONAL THEORY
- Part of
-
- Journal:
- Bulletin of Symbolic Logic / Volume 28 / Issue 2 / June 2022
- Published online by Cambridge University Press:
- 02 December 2021, pp. 163-181
- Print publication:
- June 2022
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
VARIANTS OF KREISEL’S CONJECTURE ON A NEW NOTION OF PROVABILITY
- Part of
-
- Journal:
- Bulletin of Symbolic Logic / Volume 27 / Issue 4 / December 2021
- Published online by Cambridge University Press:
- 02 December 2021, pp. 337-350
- Print publication:
- December 2021
-
- Article
-
- You have access
- Open access
- HTML
- Export citation