8 results
HOW STRONG IS RAMSEY’S THEOREM IF INFINITY CAN BE WEAK?
- Part of
-
- Journal:
- The Journal of Symbolic Logic / Volume 88 / Issue 2 / June 2023
- Published online by Cambridge University Press:
- 14 June 2022, pp. 620-639
- Print publication:
- June 2023
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
END-EXTENSIONS OF MODELS OF WEAK ARITHMETIC FROM COMPLEXITY-THEORETIC CONTAINMENTS
-
- Journal:
- The Journal of Symbolic Logic / Volume 81 / Issue 3 / September 2016
- Published online by Cambridge University Press:
- 19 July 2016, pp. 901-916
- Print publication:
- September 2016
-
- Article
- Export citation
FRAGMENTS OF APPROXIMATE COUNTING
-
- Journal:
- The Journal of Symbolic Logic / Volume 79 / Issue 2 / June 2014
- Published online by Cambridge University Press:
- 25 June 2014, pp. 496-525
- Print publication:
- June 2014
-
- Article
- Export citation
Truth definitions without exponentiation and the Σ1 collection scheme
-
- Journal:
- The Journal of Symbolic Logic / Volume 77 / Issue 2 / June 2012
- Published online by Cambridge University Press:
- 12 March 2014, pp. 649-655
- Print publication:
- June 2012
-
- Article
- Export citation
The polynomial and linear hierarchies in models where the weak pigeonhole principle fails
-
- Journal:
- The Journal of Symbolic Logic / Volume 73 / Issue 2 / June 2008
- Published online by Cambridge University Press:
- 12 March 2014, pp. 578-592
- Print publication:
- June 2008
-
- Article
- Export citation
On the Herbrand notion of consistency for finitely axiomatizable fragments of bounded arithmetic theories
-
- Journal:
- The Journal of Symbolic Logic / Volume 71 / Issue 2 / June 2006
- Published online by Cambridge University Press:
- 12 March 2014, pp. 624-638
- Print publication:
- June 2006
-
- Article
- Export citation
A finite model-theoretical proof of a property of bounded query classes within PH
-
- Journal:
- The Journal of Symbolic Logic / Volume 69 / Issue 4 / December 2004
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1105-1116
- Print publication:
- December 2004
-
- Article
- Export citation
Truth definitions in finite models
-
- Journal:
- The Journal of Symbolic Logic / Volume 69 / Issue 1 / March 2004
- Published online by Cambridge University Press:
- 12 March 2014, pp. 183-200
- Print publication:
- March 2004
-
- Article
- Export citation