Axiomatizability of algebras of binary relations

被引：0
|
作者：
Mikulás, S [1 ]
机构：
[1] Univ London Birkbeck Coll, Sch Comp Sci & Informat Syst, London WC1E 7HX, England
来源：
Classical and New Paradigms of Computation and Their Complexity Hierarchies | 2004年 / 23卷
关键词：
D O I：
暂无
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
We present an overview of the axiomatizability problem of algebras of binary relations. The focus will be on the finite and non-finite axiomatizability of several fragments of Tarski's class of representable relation algebras. We examine the step-by-step method for establishing finite axiomatizability and ultraproduct constructions for establishing non-finite axiomatizability. We conclude with some open problems that could be tackled using either of the above methods.
引用
收藏
页码：187 / 205
页数：19
相关论文
共 50 条
  • [1] Axiomatizability of positive algebras of binary relations
    Hajnal Andréka
    Szabolcs Mikulás
    Algebra universalis, 2011, 66
  • [2] Axiomatizability of positive algebras of binary relations
    Andreka, Hajnal
    Mikulas, Szabolcs
    ALGEBRA UNIVERSALIS, 2011, 66 (1-2) : 7 - 34
  • [3] Axiomatizability of reducts of algebras of relations
    Ian Hodkinson
    Szabolcs Mikulás
    algebra universalis, 2000, 43 : 127 - 156
  • [4] Axiomatizability of reducts of algebras of relations
    Hodkinson, I
    Mikulás, S
    ALGEBRA UNIVERSALIS, 2000, 43 (2-3) : 127 - 156
  • [5] 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,
  • [6] Groups and algebras of binary relations
    Givant, S
    Andreka, H
    BULLETIN OF SYMBOLIC LOGIC, 2002, 8 (01) : 38 - 64
  • [7] BINARY RELATIONS AND ALGEBRAS ON MULTISETS
    Ghilezan, Silvia
    Pantovic, Jovanka
    Vojvodic, Gradimir
    PUBLICATIONS DE L INSTITUT MATHEMATIQUE-BEOGRAD, 2014, 95 (109): : 111 - 117
  • [8] Axiomatizability of representable domain algebras
    Hirsch, Robin
    Mikulas, Szabolcs
    JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING, 2011, 80 (02): : 75 - 91
  • [9] ON FINITE AXIOMATIZABILITY OF EXPANSIONS OF CYLINDRIC ALGEBRAS
    Ahmed, Tarek Sayed
    JP JOURNAL OF ALGEBRA NUMBER THEORY AND APPLICATIONS, 2011, 20 (01): : 1 - 20
  • [10] Multivalued binary relations and post algebras
    Universite Paris VII, Paris, France
    Proc Int Symp Mult Valued Logic, (10-17):
12345