Axiomatizability of reducts of algebras of relations

被引：27
|
作者：
Hodkinson, I
Mikulás, S
机构：
[1] Imperial Coll, Dept Comp, London, England
[2] Kings Coll London, Dept Comp Sci, London WC2R 2LS, England
[3] Univ London, Birkbeck Coll, Dept Comp Sci, London, England
来源：
ALGEBRA UNIVERSALIS | 2000年 / 43卷 / 2-3期
关键词：
D O I：
10.1007/s000120050150
中图分类号：
O1 [数学];
学科分类号：
0701 ; 070101 ;
摘要：
In this paper, we prove that any subreduct of the class of representable relation algebras whose similarity type includes intersection, relation composition and converse is a non-finitely axiomatizable quasivariety and that its equational theory is not finitely based. We show the same result for subreducts of the class of representable cylindric algebras of dimension at least three whose similarity types include intersection and cylindrifications. A similar result is proved for subreducts of the class of representable sequential algebras.
引用
收藏
页码：127 / 156
页数：30
相关论文
共 50 条
  • [1] Axiomatizability of reducts of algebras of relations
    Ian Hodkinson
    Szabolcs Mikulás
    algebra universalis, 2000, 43 : 127 - 156
  • [2] Axiomatizability of algebras of binary relations
    Mikulás, S
    Classical and New Paradigms of Computation and Their Complexity Hierarchies, 2004, 23 : 187 - 205
  • [3] Axiomatizability of positive algebras of binary relations
    Hajnal Andréka
    Szabolcs Mikulás
    Algebra universalis, 2011, 66
  • [4] Axiomatizability of positive algebras of binary relations
    Andreka, Hajnal
    Mikulas, Szabolcs
    ALGEBRA UNIVERSALIS, 2011, 66 (1-2) : 7 - 34
  • [5] Reflexive relations on algebras with Boolean lattice reducts
    Snow, John W.
    ALGEBRA UNIVERSALIS, 2009, 61 (02) : 195 - 199
  • [6] Reflexive relations on algebras with Boolean lattice reducts
    John W. Snow
    Algebra universalis, 2009, 61
  • [7] On the Axiomatizability of Quantitative Algebras
    Mardare, Radu
    Panangaden, Prakash
    Plotkin, Gordon
    2017 32ND ANNUAL ACM/IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE (LICS), 2017,
  • [8] Axiomatizability of representable domain algebras
    Hirsch, Robin
    Mikulas, Szabolcs
    JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING, 2011, 80 (02): : 75 - 91
  • [9] On amalgamation of reducts of polyadic algebras
    Tarek Sayed Ahmed
    algebra universalis, 2004, 51 : 301 - 359
  • [10] ON FINITE AXIOMATIZABILITY OF EXPANSIONS OF CYLINDRIC ALGEBRAS
    Ahmed, Tarek Sayed
    JP JOURNAL OF ALGEBRA NUMBER THEORY AND APPLICATIONS, 2011, 20 (01): : 1 - 20
12345