Axiomatizability of positive algebras of binary relations

被引：0

作者：

Hajnal Andréka

Szabolcs Mikulás

机构：

[1] Hungarian Academy of Sciences,Alfréd Rényi Institute of Mathematics

[2] University of London,Department of Computer Science and Information Systems, Birkbeck

来源：

Algebra universalis | 2011年 / 66卷

关键词：

Primary: 03G15; Secondary: 06F05; representable relation algebras; finite axiomatizability; ordered semigroups;

D O I：

暂无

中图分类号：

学科分类号：

摘要：

We consider all positive fragments of Tarski’s representable relation algebras and determine whether the equational and quasiequational theories of these fragments are finitely axiomatizable in first-order logic. We also look at extending the signature with reflexive, transitive closure and the residuals of composition.

引用

共 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 →