12 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
R. G. Downey and M. R. Fellows. Parameterized complexity. Monographs in computer science. Springer, New York, Berlin, and Heidelberg, 1999, xv + 533 pp.
-
- Journal:
- Bulletin of Symbolic Logic / Volume 8 / Issue 4 / December 2002
- Published online by Cambridge University Press:
- 15 January 2014, pp. 528-529
- Print publication:
- December 2002
-
- Article
- Export citation
On fixed-point logic with counting
-
- Journal:
- The Journal of Symbolic Logic / Volume 65 / Issue 2 / June 2000
- Published online by Cambridge University Press:
- 12 March 2014, pp. 777-787
- Print publication:
- June 2000
-
- Article
- Export citation
Pseudo-finite homogeneity and saturation
-
- Journal:
- The Journal of Symbolic Logic / Volume 64 / Issue 4 / December 1999
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1689-1699
- Print publication:
- December 1999
-
- Article
- Export citation
On topological spaces equivalent to ordinals
-
- Journal:
- The Journal of Symbolic Logic / Volume 53 / Issue 3 / September 1988
- Published online by Cambridge University Press:
- 12 March 2014, pp. 785-795
- Print publication:
- September 1988
-
- Article
- Export citation
L(Q)-preservation theorems
-
- Journal:
- The Journal of Symbolic Logic / Volume 40 / Issue 3 / September 1975
- Published online by Cambridge University Press:
- 12 March 2014, pp. 410-418
- Print publication:
- September 1975
-
- Article
- Export citation
Jerome Malitz. Universal classes in infinitary languages. Duke mathematical journal, vol. 36 (1969), pp. 621–630.
-
- Journal:
- The Journal of Symbolic Logic / Volume 39 / Issue 2 / June 1974
- Published online by Cambridge University Press:
- 12 March 2014, p. 336
- Print publication:
- June 1974
-
- Article
- Export citation
A remark on infinitary languages
-
- Journal:
- The Journal of Symbolic Logic / Volume 36 / Issue 3 / September 1971
- Published online by Cambridge University Press:
- 12 March 2014, pp. 461-462
- Print publication:
- September 1971
-
- Article
- Export citation