116 results in 03FXX
REFLECTION RANKS AND ORDINAL ANALYSIS
- Part of
-
- Journal:
- The Journal of Symbolic Logic / Volume 86 / Issue 4 / December 2021
- Published online by Cambridge University Press:
- 10 July 2020, pp. 1350-1384
- Print publication:
- December 2021
-
- Article
- Export citation
A NOTE ON THE SEQUENT CALCULI ${{{\bf G3}[{\bf mic}]}}^{=}$
- Part of
-
- Journal:
- The Review of Symbolic Logic / Volume 15 / Issue 2 / June 2022
- Published online by Cambridge University Press:
- 02 July 2020, pp. 537-551
- Print publication:
- June 2022
-
- Article
- Export citation
NON-WELL-FOUNDED PROOFS FOR THE GRZEGORCZYK MODAL LOGIC
- Part of
-
- Journal:
- The Review of Symbolic Logic / Volume 14 / Issue 1 / March 2021
- Published online by Cambridge University Press:
- 29 June 2020, pp. 22-50
- Print publication:
- March 2021
-
- Article
- Export citation
CUT ELIMINATION AND NORMALIZATION FOR GENERALIZED SINGLE AND MULTI-CONCLUSION SEQUENT AND NATURAL DEDUCTION CALCULI
- Part of
-
- Journal:
- The Review of Symbolic Logic / Volume 14 / Issue 3 / September 2021
- Published online by Cambridge University Press:
- 29 June 2020, pp. 645-686
- Print publication:
- September 2021
-
- Article
- Export citation
CALCULIZING CLASSICAL INFERENTIAL EROTETIC LOGIC
- Part of
-
- Journal:
- The Review of Symbolic Logic / Volume 14 / Issue 4 / December 2021
- Published online by Cambridge University Press:
- 29 June 2020, pp. 1066-1087
- Print publication:
- December 2021
-
- Article
- Export citation
GÖDEL’S SECOND INCOMPLETENESS THEOREM: HOW IT IS DERIVED AND WHAT IT DELIVERS
- Part of
-
- Journal:
- Bulletin of Symbolic Logic / Volume 26 / Issue 3-4 / December 2020
- Published online by Cambridge University Press:
- 10 June 2020, pp. 241-256
- Print publication:
- December 2020
-
- Article
- Export citation
INTERPRETABILITY LOGICS AND GENERALISED VELTMAN SEMANTICS
- Part of
-
- Journal:
- The Journal of Symbolic Logic / Volume 85 / Issue 2 / June 2020
- Published online by Cambridge University Press:
- 18 June 2020, pp. 749-772
- Print publication:
- June 2020
-
- Article
- Export citation
EXACT COMPLETION AND CONSTRUCTIVE THEORIES OF SETS
- Part of
-
- Journal:
- The Journal of Symbolic Logic / Volume 85 / Issue 2 / June 2020
- Published online by Cambridge University Press:
- 18 June 2020, pp. 563-584
- Print publication:
- June 2020
-
- Article
-
- You have access
- Open access
- Export citation
HOW STRONG ARE SINGLE FIXED POINTS OF NORMAL FUNCTIONS?
- Part of
-
- Journal:
- The Journal of Symbolic Logic / Volume 85 / Issue 2 / June 2020
- Published online by Cambridge University Press:
- 20 July 2020, pp. 709-732
- Print publication:
- June 2020
-
- Article
- Export citation
ON THE DIAGONAL LEMMA OF GÖDEL AND CARNAP
- Part of
-
- Journal:
- Bulletin of Symbolic Logic / Volume 26 / Issue 1 / March 2020
- Published online by Cambridge University Press:
- 11 June 2020, pp. 80-88
- Print publication:
- March 2020
-
- Article
- Export citation
NATURAL FORMALIZATION: DERIVING THE CANTOR-BERNSTEIN THEOREM IN ZF
- Part of
-
- Journal:
- The Review of Symbolic Logic / Volume 14 / Issue 1 / March 2021
- Published online by Cambridge University Press:
- 18 November 2019, pp. 250-284
- Print publication:
- March 2021
-
- Article
- Export citation
THE ELIMINATION OF ATOMIC CUTS AND THE SEMISHORTENING PROPERTY FOR GENTZEN’S SEQUENT CALCULUS WITH EQUALITY
- Part of
-
- Journal:
- The Review of Symbolic Logic / Volume 14 / Issue 4 / December 2021
- Published online by Cambridge University Press:
- 13 August 2019, pp. 813-837
- Print publication:
- December 2021
-
- Article
- Export citation
CONSISTENCY OF CIRCUIT EVALUATION, EXTENDED RESOLUTION AND TOTAL NP SEARCH PROBLEMS
- Part of
-
- Journal:
- Forum of Mathematics, Sigma / Volume 4 / 2016
- Published online by Cambridge University Press:
- 24 June 2016, e15
-
- Article
-
- You have access
- Open access
- Export citation
Computing boundary extensions of conformal maps
- Part of
-
- Journal:
- LMS Journal of Computation and Mathematics / Volume 17 / Issue 1 / 2014
- Published online by Cambridge University Press:
- 01 September 2014, pp. 360-378
-
- Article
-
- You have access
- Export citation
Uniqueness, continuity and the existence of implicit functions in constructive analysis
- Part of
-
- Journal:
- LMS Journal of Computation and Mathematics / Volume 14 / 2011
- Published online by Cambridge University Press:
- 01 June 2011, pp. 127-136
-
- Article
-
- You have access
- Export citation
THE GELFAND SPECTRUM OF A NONCOMMUTATIVE C*-ALGEBRA: A TOPOS-THEORETIC APPROACH
- Part of
-
- Journal:
- Journal of the Australian Mathematical Society / Volume 90 / Issue 1 / February 2011
- Published online by Cambridge University Press:
- 08 April 2011, pp. 39-52
- Print publication:
- February 2011
-
- Article
-
- You have access
- Export citation