14 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
DISCRETE METRIC SPACES: STRUCTURE, ENUMERATION, AND 0-1 LAWS
-
- Journal:
- The Journal of Symbolic Logic / Volume 84 / Issue 4 / December 2019
- Published online by Cambridge University Press:
- 19 August 2019, pp. 1293-1325
- Print publication:
- December 2019
-
- Article
- Export citation
RANK LOGIC IS DEAD, LONG LIVE RANK LOGIC!
-
- Journal:
- The Journal of Symbolic Logic / Volume 84 / Issue 1 / March 2019
- Published online by Cambridge University Press:
- 14 March 2019, pp. 54-87
- Print publication:
- March 2019
-
- Article
- Export citation
COMPONENTS AND MINIMAL NORMAL SUBGROUPS OF FINITE AND PSEUDOFINITE GROUPS
-
- Journal:
- The Journal of Symbolic Logic / Volume 84 / Issue 1 / March 2019
- Published online by Cambridge University Press:
- 14 March 2019, pp. 290-300
- Print publication:
- March 2019
-
- Article
- Export citation
ON CONSTRAINTS AND DIVIDING IN TERNARY HOMOGENEOUS STRUCTURES
-
- Journal:
- The Journal of Symbolic Logic / Volume 83 / Issue 4 / December 2018
- Published online by Cambridge University Press:
- 21 December 2018, pp. 1691-1721
- Print publication:
- December 2018
-
- Article
- Export citation
ON TARSKI’S AXIOMATIC FOUNDATIONS OF THE CALCULUS OF RELATIONS
-
- Journal:
- The Journal of Symbolic Logic / Volume 82 / Issue 3 / September 2017
- Published online by Cambridge University Press:
- 08 May 2017, pp. 966-994
- Print publication:
- September 2017
-
- Article
- Export citation