5 results
Consistency of strictly impredicative NF and a little more …
-
- Journal:
- The Journal of Symbolic Logic / Volume 75 / Issue 4 / December 2010
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1326-1338
- Print publication:
- December 2010
-
- Article
- Export citation
Monotone inductive definitions and consistency of New Foundations
-
-
- Book:
- Logic Colloquium 2005
- Published online:
- 18 December 2009
- Print publication:
- 03 December 2007, pp 255-272
-
- Chapter
- Export citation
On the intuitionistic strength of monotone inductive definitions
-
- Journal:
- The Journal of Symbolic Logic / Volume 69 / Issue 3 / September 2004
- Published online by Cambridge University Press:
- 12 March 2014, pp. 790-798
- Print publication:
- September 2004
-
- Article
- Export citation
Realization of analysis into Explicit Mathematics
-
- Journal:
- The Journal of Symbolic Logic / Volume 66 / Issue 4 / December 2001
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1848-1864
- Print publication:
- December 2001
-
- Article
- Export citation
Finitary Reductions for Local Predicativity, I: Recursively Regular Ordinals
-
-
- Book:
- Logic Colloquium '98
- Published online:
- 31 March 2017
- Print publication:
- 02 March 2000, pp 465-499
-
- Chapter
- Export citation