scientific article
From MaRDI portal
Publication:4032851
zbMath0770.03021MaRDI QIDQ4032851
Ildikó Sain, András Simon, Szabolcs Mikulás
Publication date: 1 April 1993
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
first-order theoryvarietyrelation algebrasaxiomatizabilityset theoretical projection functionstrue pairing algebras
Equational classes, universal algebra in model theory (03C05) Cylindric and polyadic algebras; relation algebras (03G15) Basic properties of first-order languages and structures (03C07)
Related Items
Complexity of equations valid in algebras of relations. I: Strong non-finitizability ⋮ A short proof of representability of fork algebras ⋮ Complexity of equational theory of relational algebras with standard projection elements