Flat algebras and the translation of universal Horn logic to equational logic (Q5387303): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2123724076
@@ Property / OpenAlex ID: W2123724076 / rank @@
+Normal rank
@@ Property / cites work @@
+IDENTITIES OF FINITE INVERSE SEMIGROUPS
@@ Property / cites work: IDENTITIES OF FINITE INVERSE SEMIGROUPS / rank @@
+Normal rank
@@ Property / cites work @@
+Partial algebras-survey of a unifying approach towards a two-valued model theory for partial algebras
+Normal rank
@@ Property / cites work @@
+Locally finite varieties.
@@ Property / cites work: Locally finite varieties. / rank @@
+Normal rank
@@ Property / cites work @@
+The lattice of quasivarieties of semigroups
@@ Property / cites work: The lattice of quasivarieties of semigroups / rank @@
+Normal rank
@@ Property / cites work @@
+Complexity of Some Problems Concerning Varieties and Quasi-Varieties of Algebras
+Normal rank
@@ Property / cites work @@
+Definable principal subcongruences.
@@ Property / cites work: Definable principal subcongruences. / rank @@
+Normal rank
@@ Property / cites work @@
+Identical relations in finite groups
@@ Property / cites work: Identical relations in finite groups / rank @@
+Normal rank
@@ Property / cites work @@
+On classes of relations and graphs determined by subobjects and factorobjects
+Normal rank
@@ Property / cites work @@
+Q5518320
@@ Property / cites work: Q5518320 / rank @@
+Normal rank
@@ Property / cites work @@
+Fragments of first order logic, I: universal Horn logic
+Normal rank
@@ Property / cites work @@
+The lattice of quasivarieties of undirected graphs.
+Normal rank
@@ Property / cites work @@
+TARSKI’S FINITE BASIS PROBLEM IS UNDECIDABLE
@@ Property / cites work: TARSKI’S FINITE BASIS PROBLEM IS UNDECIDABLE / rank @@
+Normal rank
@@ Property / cites work @@
+Open questions related to the problem of Birkhoff and Maltsev
+Normal rank
@@ Property / cites work @@
+THE RESIDUAL BOUND OF A FINITE ALGEBRA IS NOT COMPUTABLE
+Normal rank
@@ Property / cites work @@
+THE RESIDUAL BOUNDS OF FINITE ALGEBRAS
@@ Property / cites work: THE RESIDUAL BOUNDS OF FINITE ALGEBRAS / rank @@
+Normal rank
@@ Property / cites work @@
+On finitely based groups and nonfinitely based quasivarieties
+Normal rank
@@ Property / cites work @@
+ALGORITHMIC PROBLEMS IN VARIETIES
@@ Property / cites work: ALGORITHMIC PROBLEMS IN VARIETIES / rank @@
+Normal rank
@@ Property / cites work @@
+On bases of identities of finite inverse semigroups with solvable subgroups.
+Normal rank
@@ Property / cites work @@
+Quasiequational Theories of Flat Algebras
@@ Property / cites work: Quasiequational Theories of Flat Algebras / rank @@
+Normal rank
@@ Property / cites work @@
+IDENTITIES IN THE ALGEBRA OF PARTIAL MAPS
@@ Property / cites work: IDENTITIES IN THE ALGEBRA OF PARTIAL MAPS / rank @@
+Normal rank
@@ Property / cites work @@
+Agreeable semigroups.
@@ Property / cites work: Agreeable semigroups. / rank @@
+Normal rank
@@ Property / cites work @@
+INTERPRETING GRAPH COLORABILITY IN FINITE SEMIGROUPS
+Normal rank
@@ Property / cites work @@
+Finiteness properties of varieties and the restriction to finite algebras.
+Normal rank
@@ Property / cites work @@
+Q4846425
@@ Property / cites work: Q4846425 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4198056
@@ Property / cites work: Q4198056 / rank @@
+Normal rank
@@ Property / cites work @@
+On pseudovarieties
@@ Property / cites work: On pseudovarieties / rank @@
+Normal rank
@@ Property / cites work @@
+Finite bases for flat graph algebras
@@ Property / cites work: Finite bases for flat graph algebras / rank @@
+Normal rank
@@ Property / cites work @@
+On McKenzie's method
@@ Property / cites work: On McKenzie's method / rank @@
+Normal rank
@@ Property / cites work @@
+COMPUTATIONAL COMPLEXITY OF THE FINITE ALGEBRA MEMBERSHIP PROBLEM FOR VARIETIES
+Normal rank
@@ Property / cites work @@
+Q3731650
@@ Property / cites work: Q3731650 / rank @@
+Normal rank