3 results
Kreisel's Conjecture with minimality principle
-
- Journal:
- The Journal of Symbolic Logic / Volume 74 / Issue 3 / September 2009
- Published online by Cambridge University Press:
- 12 March 2014, pp. 976-988
- Print publication:
- September 2009
-
- Article
- Export citation
Lower bounds for modal logics
-
- Journal:
- The Journal of Symbolic Logic / Volume 72 / Issue 3 / September 2007
- Published online by Cambridge University Press:
- 12 March 2014, pp. 941-958
- Print publication:
- September 2007
-
- Article
- Export citation
Theories very close to PA where Kreisel's Conjecture is false
-
- Journal:
- The Journal of Symbolic Logic / Volume 72 / Issue 1 / March 2007
- Published online by Cambridge University Press:
- 12 March 2014, pp. 123-137
- Print publication:
- March 2007
-
- Article
- Export citation