5 results
FORBIDDEN INDUCED SUBGRAPHS AND THE ŁOŚ–TARSKI THEOREM
- Part of
-
- Journal:
- The Journal of Symbolic Logic / Volume 89 / Issue 2 / June 2024
- Published online by Cambridge University Press:
- 04 January 2024, pp. 516-548
- Print publication:
- June 2024
-
- Article
- Export citation
ON OPTIMAL INVERTERS
-
- Journal:
- Bulletin of Symbolic Logic / Volume 20 / Issue 1 / March 2014
- Published online by Cambridge University Press:
- 13 May 2014, pp. 1-23
- Print publication:
- March 2014
-
- Article
- Export citation
Strong isomorphism reductions in complexity theory
-
- Journal:
- The Journal of Symbolic Logic / Volume 76 / Issue 4 / December 2011
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1381-1402
- Print publication:
- December 2011
-
- Article
- Export citation
On the complexity of Gödel's proof predicate
-
- Journal:
- The Journal of Symbolic Logic / Volume 75 / Issue 1 / March 2010
- Published online by Cambridge University Press:
- 12 March 2014, pp. 239-254
- Print publication:
- March 2010
-
- Article
- Export citation
An analysis of the W*-hierarchy
-
- Journal:
- The Journal of Symbolic Logic / Volume 72 / Issue 2 / June 2007
- Published online by Cambridge University Press:
- 12 March 2014, pp. 513-534
- Print publication:
- June 2007
-
- Article
- Export citation