Publication:4032851
From MaRDI portal
zbMath0770.03021MaRDI QIDQ4032851
Szabolcs Mikulás, Ildikó Sain, András Simon
Publication date: 1 April 1993
first-order theory; variety; relation algebras; axiomatizability; set theoretical projection functions; true pairing algebras
03C05: Equational classes, universal algebra in model theory
03G15: Cylindric and polyadic algebras; relation algebras
03C07: Basic properties of first-order languages and structures
Related Items
Complexity of equations valid in algebras of relations. I: Strong non-finitizability, A short proof of representability of fork algebras