6 results
POINCARÉ–WEYL’S PREDICATIVITY: GOING BEYOND $\Gamma _{0}$
- Part of
-
- Journal:
- Bulletin of Symbolic Logic / Volume 30 / Issue 1 / March 2024
- Published online by Cambridge University Press:
- 19 January 2024, pp. 41-91
- Print publication:
- March 2024
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
PREDICATIVISM AS A FORM OF POTENTIALISM
- Part of
-
- Journal:
- The Review of Symbolic Logic / Volume 16 / Issue 1 / March 2023
- Published online by Cambridge University Press:
- 23 November 2021, pp. 1-32
- Print publication:
- March 2023
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
THE POWER OF NAIVE TRUTH
- Part of
-
- Journal:
- The Review of Symbolic Logic / Volume 15 / Issue 1 / March 2022
- Published online by Cambridge University Press:
- 06 July 2020, pp. 225-258
- Print publication:
- March 2022
-
- Article
- Export citation
PROOF-THEORETIC STRENGTHS OF WEAK THEORIES FOR POSITIVE INDUCTIVE DEFINITIONS
-
- Journal:
- The Journal of Symbolic Logic / Volume 83 / Issue 3 / September 2018
- Published online by Cambridge University Press:
- 23 October 2018, pp. 1091-1111
- Print publication:
- September 2018
-
- Article
- Export citation
THE PREHISTORY OF THE SUBSYSTEMS OF SECOND-ORDER ARITHMETIC
-
- Journal:
- The Review of Symbolic Logic / Volume 10 / Issue 2 / June 2017
- Published online by Cambridge University Press:
- 20 February 2017, pp. 357-396
- Print publication:
- June 2017
-
- Article
- Export citation
THE STRENGTH OF ABSTRACTION WITH PREDICATIVE COMPREHENSION
-
- Journal:
- Bulletin of Symbolic Logic / Volume 22 / Issue 1 / March 2016
- Published online by Cambridge University Press:
- 29 March 2016, pp. 105-120
- Print publication:
- March 2016
-
- Article
- Export citation