6 results
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. 218-261
- Print publication:
- March 2024
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
AN INCOMPLETENESS THEOREM VIA ORDINAL ANALYSIS
- Part of
-
- Journal:
- The Journal of Symbolic Logic / Volume 89 / Issue 1 / March 2024
- Published online by Cambridge University Press:
- 12 September 2022, pp. 80-96
- Print publication:
- March 2024
-
- Article
- Export citation
MÜNCHHAUSEN PROVABILITY
- Part of
-
- Journal:
- The Journal of Symbolic Logic / Volume 86 / Issue 3 / September 2021
- Published online by Cambridge University Press:
- 10 June 2021, pp. 1006-1034
- Print publication:
- September 2021
-
- Article
- Export citation
NONCLASSICAL TRUTH WITH CLASSICAL STRENGTH. A PROOF-THEORETIC ANALYSIS OF COMPOSITIONAL TRUTH OVER HYPE
- Part of
-
- Journal:
- The Review of Symbolic Logic / Volume 16 / Issue 2 / June 2023
- Published online by Cambridge University Press:
- 25 March 2021, pp. 425-448
- Print publication:
- June 2023
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
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 Buchholz derivation system for the ordinal analysis of KP + Π3-reflection
-
- Journal:
- The Journal of Symbolic Logic / Volume 71 / Issue 4 / December 2006
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1237-1283
- Print publication:
- December 2006
-
- Article
- Export citation