13 results
TESTING DEFINITIONAL EQUIVALENCE OF THEORIES VIA AUTOMORPHISM GROUPS
- Part of
-
- Journal:
- The Review of Symbolic Logic , First View
- Published online by Cambridge University Press:
- 17 July 2023, pp. 1-22
-
- Article
- Export citation
TWO-VARIABLE LOGIC HAS WEAK, BUT NOT STRONG, BETH DEFINABILITY
- Part of
-
- Journal:
- The Journal of Symbolic Logic / Volume 86 / Issue 2 / June 2021
- Published online by Cambridge University Press:
- 01 February 2021, pp. 785-800
- Print publication:
- June 2021
-
- Article
- Export citation
NONREPRESENTABLE RELATION ALGEBRAS FROM GROUPS - ADDENDUM
-
- Journal:
- The Review of Symbolic Logic / Volume 12 / Issue 4 / December 2019
- Published online by Cambridge University Press:
- 04 October 2019, p. 892
- Print publication:
- December 2019
-
- Article
- Export citation
NONREPRESENTABLE RELATION ALGEBRAS FROM GROUPS
-
- Journal:
- The Review of Symbolic Logic / Volume 13 / Issue 4 / December 2020
- Published online by Cambridge University Press:
- 13 June 2019, pp. 861-881
- Print publication:
- December 2020
-
- Article
- Export citation
9 - Relativistic Computation
-
-
- Book:
- Physical Perspectives on Computation, Computational Perspectives on Physics
- Published online:
- 17 May 2018
- Print publication:
- 17 May 2018, pp 195-216
-
- Chapter
- 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
Omitting types for finite variable fragments and complete representations of algebras
-
- Journal:
- The Journal of Symbolic Logic / Volume 73 / Issue 1 / March 2008
- Published online by Cambridge University Press:
- 12 March 2014, pp. 65-89
- Print publication:
- March 2008
-
- Article
- Export citation
On the equational theory of representable polyadic equality algebras
-
- Journal:
- The Journal of Symbolic Logic / Volume 65 / Issue 3 / September 2000
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1143-1167
- Print publication:
- September 2000
-
- Article
- Export citation
Relativised quantification: Some canonical varieties of sequence-set algebras
-
- Journal:
- The Journal of Symbolic Logic / Volume 63 / Issue 1 / March 1998
- Published online by Cambridge University Press:
- 12 March 2014, pp. 163-184
- Print publication:
- March 1998
-
- Article
- Export citation
Perfect extensions and derived algebras
-
- Journal:
- The Journal of Symbolic Logic / Volume 60 / Issue 3 / September 1995
- Published online by Cambridge University Press:
- 12 March 2014, pp. 775-796
- Print publication:
- September 1995
-
- Article
- Export citation
Expressibility of properties of relations
-
- Journal:
- The Journal of Symbolic Logic / Volume 60 / Issue 3 / September 1995
- Published online by Cambridge University Press:
- 12 March 2014, pp. 970-991
- Print publication:
- September 1995
-
- Article
- Export citation
The lattice of varieties of representable relation algebras
-
- Journal:
- The Journal of Symbolic Logic / Volume 59 / Issue 2 / June 1994
- Published online by Cambridge University Press:
- 12 March 2014, pp. 631-661
- Print publication:
- June 1994
-
- Article
- Export citation
Alfred Tarski and Steven Givant. A formalization of set theory without variables. American Mathematical Society colloquium publications, vol. 41. American Mathematical Society, Providence1987, xxi + 318 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 55 / Issue 1 / March 1990
- Published online by Cambridge University Press:
- 12 March 2014, pp. 350-352
- Print publication:
- March 1990
-
- Article
- Export citation