6 results
AXIOMATIZATIONS OF PEANO ARITHMETIC: A TRUTH-THEORETIC VIEW
- Part of
-
- Journal:
- The Journal of Symbolic Logic / Volume 88 / Issue 4 / December 2023
- Published online by Cambridge University Press:
- 12 December 2022, pp. 1526-1555
- Print publication:
- December 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
TRUTH AND FEASIBLE REDUCIBILITY
-
- Journal:
- The Journal of Symbolic Logic / Volume 85 / Issue 1 / March 2020
- Published online by Cambridge University Press:
- 20 September 2019, pp. 367-421
- Print publication:
- March 2020
-
- Article
- Export citation
MODELS OF POSITIVE TRUTH
-
- Journal:
- The Review of Symbolic Logic / Volume 12 / Issue 1 / March 2019
- Published online by Cambridge University Press:
- 26 December 2018, pp. 144-172
- Print publication:
- March 2019
-
- Article
- Export citation
NOTES ON BOUNDED INDUCTION FOR THE COMPOSITIONAL TRUTH PREDICATE
-
- Journal:
- The Review of Symbolic Logic / Volume 10 / Issue 3 / September 2017
- Published online by Cambridge University Press:
- 30 March 2017, pp. 455-480
- Print publication:
- September 2017
-
- Article
- Export citation
MODELS OF PT– WITH INTERNAL INDUCTION FOR TOTAL FORMULAE
-
- Journal:
- The Review of Symbolic Logic / Volume 10 / Issue 1 / March 2017
- Published online by Cambridge University Press:
- 15 December 2016, pp. 187-202
- Print publication:
- March 2017
-
- Article
- Export citation