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 条
  • [21] Homomorphism, Ideals and Binary Relations on Hyper-MV Algebras
    Rasouli, S.
    Davvaz, B.
    JOURNAL OF MULTIPLE-VALUED LOGIC AND SOFT COMPUTING, 2011, 17 (01) : 47 - 68
  • [22] Lifting non-finite axiomatizability results to extensions of process algebras
    Aceto, Luca
    Fokkink, Wan
    Ingolfsdottir, Anna
    Mousavi, MohammadReza
    ACTA INFORMATICA, 2010, 47 (03) : 147 - 177
  • [23] Lifting non-finite axiomatizability results to extensions of process algebras
    Luca Aceto
    Wan Fokkink
    Anna Ingolfsdottir
    MohammadReza Mousavi
    Acta Informatica, 2010, 47 : 147 - 177
  • [24] Lifting non-finite axiomatizability results to extensions of process algebras
    Aceto, Luca
    Fokkink, Wan
    Ingolfsdottir, Anna
    Mousavi, MohammadReza
    FIFTH IFIP INTERNATIONAL CONFERENCE ON THEORETICAL COMPUTER SCIENCE - TCS 2008, 2008, 273 : 301 - +
  • [25] Axiomatizability by ∀∃!-sentences
    Campercholi, Miguel
    Vaggione, Diego
    ARCHIVE FOR MATHEMATICAL LOGIC, 2011, 50 (7-8) : 713 - 725
  • [26] Binary Leibniz Algebras
    N. A. Ismailov
    A. S. Dzhumadil’daev
    Mathematical Notes, 2021, 110 : 322 - 328
  • [27] Binary Leibniz Algebras
    Ismailov, N. A.
    Dzhumadil'daev, A. S.
    MATHEMATICAL NOTES, 2021, 110 (3-4) : 322 - 328
  • [28] POLARIZATION ALGEBRAS AND THEIR RELATIONS
    Umirbaev, Ualbai
    JOURNAL OF COMMUTATIVE ALGEBRA, 2019, 11 (03) : 433 - 451
  • [29] ALGEBRAS WITH IDENTITY RELATIONS
    LATYSHEV, VN
    DOKLADY AKADEMII NAUK SSSR, 1962, 146 (05): : 1003 - &
  • [30] GENERATORS FOR ALGEBRAS OF RELATIONS
    BEDNAREK, AR
    ULAM, SM
    BULLETIN OF THE AMERICAN MATHEMATICAL SOCIETY, 1976, 82 (05) : 781 - 782
12345