3 results
THE STRENGTH OF RAMSEY’S THEOREM FOR COLORING RELATIVELY LARGE SETS
-
- Journal:
- The Journal of Symbolic Logic / Volume 79 / Issue 1 / March 2014
- Published online by Cambridge University Press:
- 17 April 2014, pp. 89-102
- Print publication:
- March 2014
-
- Article
- Export citation
On second order intuitionistic propositional logic without a universal quantifier
-
- Journal:
- The Journal of Symbolic Logic / Volume 74 / Issue 1 / March 2009
- Published online by Cambridge University Press:
- 12 March 2014, pp. 157-167
- Print publication:
- March 2009
-
- Article
- Export citation
Theories of arithmetics in finite models
-
- Journal:
- The Journal of Symbolic Logic / Volume 70 / Issue 1 / March 2005
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1-28
- Print publication:
- March 2005
-
- Article
- Export citation