Representability is not decidable for finite relation algebras

Transactions of the American Mathematical Society

Volumn 353, Issue 4, 2001, Pages 1403-1425

  Hirsch, Robin ^a   Hodkinson, Ian ^b  

^a UNIVERSITY COLLEGE LONDON   (United Kingdom)

^b IMPERIAL COLLEGE LONDON   (United Kingdom)

Author keywords

Algebraic logic; Games; Relation algebra; Representation; Tiling problem; Undecidability

Indexed keywords

EID: 23044525250     PISSN: 00029947     EISSN: None     Source Type: Journal    
DOI: 10.1090/s0002-9947-99-02264-3     Document Type: Article

References (18)

1. [AMN91] H. Andréka, J. D. Monk, and I. Németi. Algebraic Logic. Colloq. Math. Soc. J. Bolyai. North-Holland, Amsterdam, 1991. Conference Proceedings, Budapest, 1988. MR 92m:03003
2. [Ber66] R. Berger. The undecidability of the domino problem. Memoirs of the American Mathematical Society, vol. 60, I960. MR 36:49
3. [HH97a] R. Hirsch and I. Hodkinson. Complete representations in algebraic logic. Journal of Symbolic Logic, 1997. 62(3):816-847, 1997. MR 98m:03123
4. [HH97b] R. Hirsch and I. Hodkinson. Step by step - building representations in algebraic logic. Journal of Symbolic Logic. 62(l):225-279, 1997. MR 98g:03145
5. [Hir95] R. Hirsch. Completely representable relation algebras. Bulletin of the Interest Group in Propositional and Predicate Logics, 3(1):77-91, 1995. MR 9Cd:03082
6. [HMT85] L. Henkin, J. D. Monk, and A. Tarski. Cylindric Algebras. Part II. North-Holland, 1985. MR 86m:03095b
7. [Hod97] I. Hodkinson. Atom structures of cylindric algebras and relation algebras. Ann. Pure Appl. Logic, 89(2-3): 117-148, 1997. CMP 98:06
8. [JT48] B. Jónsson and A. Tarski. Representation problems for relation algebras. Bulletin of the American Mathematical Society, 54, pp. 80 and 1192, 1948.
9. [JT52] B. Jonsson and A. Tarski. Boolean algebras with operators. II. American Journal of Mathematics, 74:127 - 162, 1952. MR 13:524g
10. [LynSO] R. Lyndon. The representation of relational algebras. Annals of Mathematics, 51(3):707-729, 1950. MR 12:237a
11. [Lyn56] R. Lyndon. The representation of relation algebras, II. Annals of Mathematics, 63(2):294-307, 1956. MR 18:106f
12. [Ma82] R. Maddux. Some varieties containing relation algebras. Transactions of the American Mathematical Society, 272(2):501-526, 1982. MR 84a:03079
13. [Ma91a] R. Maddux. Introductory course on relation algebras, finite-dimensional cylindric algebras, and their interconnections. In [AMN91], pages 361-392. MR 93c:03082
14. [Ma91b] R. Maddux. The origin of relation algebras in the development and axiomatization of the calculus of relations. Studia Logica, 5(3-4):421-156, 1991. MR 93c:03082
15. [Ma94] R. Maddux. A perspective on the theory of relation algebras. Algebra Universalis, 31:456-465, 1994. MR 95c:03143
16. [Mon64] J. D. Monk. On representable relation algebras. Michigan Mathematics Journal, 11:207-210, 1964. MR 30:3016
17. [Nem96] I. Németi. A fine-structure analysis of first-order logic. In M. Marx, L. Polos, and M. Masuch, editors, Arrow Logic and Multi-Modal Logic, Studies in Logic, Language and Information, pages 221-247. CSLI Publications & FoLLI, 1996. CMP 97:09
18. [TG87] A. Tarski and S. R. Givant. A Formalization of Set Theory Without Variables. Number 41 in Colloquium Publications in Mathematics. American Mathematical Society, Providence, Rhode Island, 1987. MR 89g:03012