10 results
EXTENSIONS AND LIMITS OF THE SPECKER–BLATTER THEOREM
- Part of
-
- Journal:
- The Journal of Symbolic Logic , First View
- Published online by Cambridge University Press:
- 21 March 2024, pp. 1-29
-
- Article
- Export citation
DEGREE OF SATISFIABILITY IN HEYTING ALGEBRAS
- Part of
-
- Journal:
- The Journal of Symbolic Logic , First View
- Published online by Cambridge University Press:
- 09 January 2024, pp. 1-19
-
- Article
- Export citation
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
Decidability of the class of all the rings $\mathbb {Z}/m\mathbb {Z}$: A problem of Ax
- Part of
-
- Journal:
- Forum of Mathematics, Sigma / Volume 11 / 2023
- Published online by Cambridge University Press:
- 24 July 2023, e64
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
ON DOUBLE-MEMBERSHIP GRAPHS OF MODELS OF ANTI-FOUNDATION
- Part of
-
- Journal:
- Bulletin of Symbolic Logic / Volume 29 / Issue 1 / March 2023
- Published online by Cambridge University Press:
- 17 October 2022, pp. 128-144
- Print publication:
- March 2023
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
FINITE RELATION ALGEBRAS
- Part of
-
- Journal:
- The Journal of Symbolic Logic / Volume 88 / Issue 2 / June 2023
- Published online by Cambridge University Press:
- 19 October 2021, pp. 874-888
- Print publication:
- June 2023
-
- Article
- Export citation
MULTIDIMENSIONAL EXACT CLASSES, SMOOTH APPROXIMATION AND BOUNDED 4-TYPES
- Part of
-
- Journal:
- The Journal of Symbolic Logic / Volume 85 / Issue 4 / December 2020
- Published online by Cambridge University Press:
- 07 September 2020, pp. 1305-1341
- Print publication:
- December 2020
-
- Article
- Export citation
ON EXTENSIONS OF PARTIAL ISOMORPHISMS
- Part of
-
- Journal:
- The Journal of Symbolic Logic / Volume 87 / Issue 1 / March 2022
- Published online by Cambridge University Press:
- 20 July 2020, pp. 416-435
- Print publication:
- March 2022
-
- Article
- Export citation
FIRST-ORDER RECOGNIZABILITY IN FINITE AND PSEUDOFINITE GROUPS
- Part of
-
- Journal:
- The Journal of Symbolic Logic / Volume 85 / Issue 2 / June 2020
- Published online by Cambridge University Press:
- 20 July 2020, pp. 852-867
- Print publication:
- June 2020
-
- Article
- Export citation
SIMPLE EXTENSIONS OF COMBINATORIAL STRUCTURES
- Part of
-
- Journal:
- Mathematika / Volume 57 / Issue 2 / July 2011
- Published online by Cambridge University Press:
- 21 December 2010, pp. 193-214
- Print publication:
- July 2011
-
- Article
- Export citation