2 results
INCOMPLETENESS VIA PARADOX AND COMPLETENESS
-
- Journal:
- The Review of Symbolic Logic / Volume 13 / Issue 3 / September 2020
- Published online by Cambridge University Press:
- 23 May 2019, pp. 541-592
- Print publication:
- September 2020
-
- Article
- Export citation
NOMINALISTIC ORDINALS, RECURSION ON HIGHER TYPES, AND FINITISM
-
- Journal:
- Bulletin of Symbolic Logic / Volume 25 / Issue 1 / March 2019
- Published online by Cambridge University Press:
- 07 February 2019, pp. 101-124
- Print publication:
- March 2019
-
- Article
- Export citation