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

@@ Property / DOI @@
-.2178/jsl/1208358744
@@ Property / DOI: 10.2178/jsl/1208358744 / rank @@
-Normal rank
@@ 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
@@ Property / DOI @@
+.2178/JSL/1208358744
@@ Property / DOI: 10.2178/JSL/1208358744 / rank @@
+Normal rank
@@ Property / Recommended article @@
+Q5693622
@@ Property / Recommended article: Q5693622 / rank @@
+Normal rank
@@ Property / Recommended article: Q5693622 / qualifier @@
+Similarity Score: 0.70976365Amount 0.70976365
Unit 1
-Amount
+.70976365
 Unit
@@ Property / Recommended article: Q5693622 / qualifier @@
+Recommender Run: Recommender Run 2
@@ Property / Recommended article @@
+Undecidable Varieties of Semilattice—ordered Semigroups, of Boolean Algebras with Operators, and logics extending Lambek Calculus
+Normal rank
+Similarity Score: 0.7077391Amount 0.7077391
Unit 1
-Amount
+.7077391
 Unit
+Recommender Run: Recommender Run 2
@@ Property / Recommended article @@
+IDENTITIES IN THE ALGEBRA OF PARTIAL MAPS
+Normal rank
+Similarity Score: 0.70171237Amount 0.70171237
Unit 1
-Amount
+.70171237
 Unit
+Recommender Run: Recommender Run 2
@@ Property / Recommended article @@
+Q4794027
@@ Property / Recommended article: Q4794027 / rank @@
+Normal rank
@@ Property / Recommended article: Q4794027 / qualifier @@
+Similarity Score: 0.69596124Amount 0.69596124
Unit 1
-Amount
+.69596124
 Unit
@@ Property / Recommended article: Q4794027 / qualifier @@
+Recommender Run: Recommender Run 2
@@ Property / Recommended article @@
+MODEL COMPLETIONS FOR UNIVERSAL CLASSES OF ALGEBRAS: NECESSARY AND SUFFICIENT CONDITIONS
+Normal rank
+Similarity Score: 0.6955895Amount 0.6955895
Unit 1
-Amount
+.6955895
 Unit
+Recommender Run: Recommender Run 2
@@ Property / Recommended article @@
+Q4025010
@@ Property / Recommended article: Q4025010 / rank @@
+Normal rank
@@ Property / Recommended article: Q4025010 / qualifier @@
+Similarity Score: 0.6940809Amount 0.6940809
Unit 1
-Amount
+.6940809
 Unit
@@ Property / Recommended article: Q4025010 / qualifier @@
+Recommender Run: Recommender Run 2
@@ Property / Recommended article @@
+Q2714065
@@ Property / Recommended article: Q2714065 / rank @@
+Normal rank
@@ Property / Recommended article: Q2714065 / qualifier @@
+Similarity Score: 0.6921336Amount 0.6921336
Unit 1
-Amount
+.6921336
 Unit
@@ Property / Recommended article: Q2714065 / qualifier @@
+Recommender Run: Recommender Run 2
@@ Property / Recommended article @@
+Q4532124
@@ Property / Recommended article: Q4532124 / rank @@
+Normal rank
@@ Property / Recommended article: Q4532124 / qualifier @@
+Similarity Score: 0.6895456Amount 0.6895456
Unit 1
-Amount
+.6895456
 Unit
@@ Property / Recommended article: Q4532124 / qualifier @@
+Recommender Run: Recommender Run 2
@@ Property / Recommended article @@
+First-order theories as many-sorted algebras
+Normal rank
+Similarity Score: 0.68882775Amount 0.68882775
Unit 1
-Amount
+.68882775
 Unit
+Recommender Run: Recommender Run 2
@@ Property / Recommended article @@
+Unification through projectivity
@@ Property / Recommended article: Unification through projectivity / rank @@
+Normal rank
@@ Property / Recommended article: Unification through projectivity / qualifier @@
+Similarity Score: 0.6887552Amount 0.6887552
Unit 1
-Amount
+.6887552
 Unit
@@ Property / Recommended article: Unification through projectivity / qualifier @@
+Recommender Run: Recommender Run 2
@@ links / mardi / name / links / mardi / name @@
+Publication:5387303