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 条

[41] On Clifford Algebras and Binary Integers
Budinich, Marco
ADVANCES IN APPLIED CLIFFORD ALGEBRAS, 2017, 27 (02) : 1007 - 1017
[42] Cluster Algebras and Binary Subwords
Rachel Bailey
Emily Gunawan
Order, 2022, 39 : 55 - 69
[43] ISOMORPHISMS OF ALGEBRAS OF BINARY FUNCTIONS
SHMATKOV, VD
MATHEMATICAL NOTES, 1994, 55 (3-4) : 417 - 422
[44] Cluster Algebras and Binary Subwords
Bailey, Rachel
Gunawan, Emily
ORDER-A JOURNAL ON THE THEORY OF ORDERED SETS AND ITS APPLICATIONS, 2022, 39 (01): : 55 - 69
[45] ON ALGEBRAIC OPERATIONS IN BINARY ALGEBRAS
FAJTLOWICZ, S
COLLOQUIUM MATHEMATICUM, 1970, 21 (01) : 23 - +
[46] ALGEBRAS OF BINARY ISOLATING FORMULAS
Emel'yanov, D. Yu
ALGEBRA AND LOGIC, 2021, 60 (04) : 288 - 291
[47] BINARY ANALYSIS AND BOOLEAN ALGEBRAS
VERGEZ, P
BONNEMAY, A
AUTOMATISME, 1971, 16 (10): : 521 - &
[48] On Clifford Algebras and Binary Integers
Marco Budinich
Advances in Applied Clifford Algebras, 2017, 27 : 1007 - 1017
[49] PROPERTIES OF ALGEBRAS OF BINARY FUNCTIONS
SHMATKOV, VD
MATHEMATICAL NOTES, 1994, 55 (1-2) : 86 - 92
[50] Closures in Binary Partial Algebras
Zhang, Guo-Qiang
ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2009, 257 : 3 - 18

← 1 2 3 4 5 →