Nonfinitely based ai-semirings with finitely based semigroup reducts (Q2079231): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W4226138571
@@ Property / OpenAlex ID: W4226138571 / rank @@
+Normal rank
@@ Property / cites work @@
+The max-plus algebra of the natural numbers has no finite equational basis
+Normal rank
@@ Property / cites work @@
+Axiomatizability of positive algebras of binary relations
+Normal rank
@@ Property / cites work @@
+Algebraic Structures with Hard Equivalence and Minimization Problems
+Normal rank
@@ Property / cites work @@
+Q4608006
@@ Property / cites work: Q4608006 / rank @@
+Normal rank
@@ Property / cites work @@
+Algebraic approach to promise constraint satisfaction
+Normal rank
@@ Property / cites work @@
+Q5639639
@@ Property / cites work: Q5639639 / rank @@
+Normal rank
@@ Property / cites work @@
+A NONFINITELY BASED FINITE SEMIRING
@@ Property / cites work: A NONFINITELY BASED FINITE SEMIRING / rank @@
+Normal rank
@@ Property / cites work @@
+A class of inherently nonfinitely based semirings
@@ Property / cites work: A class of inherently nonfinitely based semirings / rank @@
+Normal rank
@@ Property / cites work @@
+A remark on nonfinitely based semirings.
@@ Property / cites work: A remark on nonfinitely based semirings. / rank @@
+Normal rank
@@ Property / cites work @@
+The finite basis problem for endomorphism semirings of finite semilattices with zero.
+Normal rank
@@ Property / cites work @@
+Varieties generated by semigroups of order four
@@ Property / cites work: Varieties generated by semigroups of order four / rank @@
+Normal rank
@@ Property / cites work @@
+On chromatic number of graphs and set-systems
@@ Property / cites work: On chromatic number of graphs and set-systems / rank @@
+Normal rank
@@ Property / cites work @@
+Q5656959
@@ Property / cites work: Q5656959 / rank @@
+Normal rank
@@ Property / cites work @@
+Varieties generated by ordered bands. I.
@@ Property / cites work: Varieties generated by ordered bands. I. / rank @@
+Normal rank
@@ Property / cites work @@
+Q3671387
@@ Property / cites work: Q3671387 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4124997
@@ Property / cites work: Q4124997 / rank @@
+Normal rank
@@ Property / cites work @@
+Gap theorems for robust satisfiability: Boolean CSPs and beyond
+Normal rank
@@ Property / cites work @@
+Axiomatisability and hardness for universal Horn classes of hypergraphs
+Normal rank
@@ Property / cites work @@
+Q4846425
@@ Property / cites work: Q4846425 / rank @@
+Normal rank
@@ Property / cites work @@
+Finite semigroups whose varieties have uncountably many subvarieties
+Normal rank
@@ Property / cites work @@
+Small inherently nonfinitely based finite semigroups
+Normal rank
@@ Property / cites work @@
+Flat algebras and the translation of universal Horn logic to equational logic
+Normal rank
@@ Property / cites work @@
+Low Growth Equational Complexity
@@ Property / cites work: Low Growth Equational Complexity / rank @@
+Normal rank
@@ Property / cites work @@
+FINITELY BASED, FINITE SETS OF WORDS
@@ Property / cites work: FINITELY BASED, FINITE SETS OF WORDS / 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 @@
+Relatively inherently nonfinitely q-based semigroups
+Normal rank
@@ Property / cites work @@
+From \(A\) to \(B\) to \(Z\)
@@ Property / cites work: From \(A\) to \(B\) to \(Z\) / rank @@
+Normal rank
@@ Property / cites work @@
+VARIETIES OF LEFT RESTRICTION SEMIGROUPS
@@ Property / cites work: VARIETIES OF LEFT RESTRICTION SEMIGROUPS / rank @@
+Normal rank
@@ Property / cites work @@
+THE MEMBERSHIP PROBLEM IN FINITE FLAT HYPERGRAPH ALGEBRAS
+Normal rank
@@ Property / cites work @@
+On varieties of semilattice-ordered semigroups.
@@ Property / cites work: On varieties of semilattice-ordered semigroups. / rank @@
+Normal rank
@@ Property / cites work @@
+Identity bases for some non-exact varieties.
@@ Property / cites work: Identity bases for some non-exact varieties. / rank @@
+Normal rank
@@ Property / cites work @@
+Inverse Monoids With a Natural Semilattice Ordering
+Normal rank
@@ Property / cites work @@
+Identities in Two-Valued Calculi
@@ Property / cites work: Identities in Two-Valued Calculi / rank @@
+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 @@
+Q3852235
@@ Property / cites work: Q3852235 / 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 @@
+VARIETIES OF FINITELY APPROXIMABLE GROUPS
@@ Property / cites work: VARIETIES OF FINITELY APPROXIMABLE GROUPS / rank @@
+Normal rank
@@ Property / cites work @@
+Varieties generated by ordered bands. II.
@@ Property / cites work: Varieties generated by ordered bands. II. / rank @@
+Normal rank
@@ Property / cites work @@
+Varieties of idempotent semirings with commutative addition.
+Normal rank
@@ Property / cites work @@
+Bases for equational theories of semi-groups
@@ Property / cites work: Bases for equational theories of semi-groups / rank @@
+Normal rank
@@ Property / cites work @@
+Q3123632
@@ Property / cites work: Q3123632 / rank @@
+Normal rank
@@ Property / cites work @@
+The varieties of semilattice-ordered semigroups satisfying \(x^3\equiv x\) and \(xy\equiv yx\)
+Normal rank
@@ Property / cites work @@
+The lattice of ai-semiring varieties satisfying \(x^n \approx x\) and \(xy \approx yx\)
+Normal rank
@@ Property / cites work @@
+On the varieties of ai-semirings satisfying \({x^{3}\approx x}\)
+Normal rank
@@ Property / cites work @@
+Q3772415
@@ Property / cites work: Q3772415 / rank @@
+Normal rank
@@ Property / cites work @@
+FINITELY BASED WORDS
@@ Property / cites work: FINITELY BASED WORDS / rank @@
+Normal rank
@@ Property / cites work @@
+On the varieties generated by ai-semirings of order two.
+Normal rank
@@ Property / cites work @@
+COMPUTATIONAL COMPLEXITY OF THE FINITE ALGEBRA MEMBERSHIP PROBLEM FOR VARIETIES
+Normal rank
@@ Property / cites work @@
+Q3955577
@@ Property / cites work: Q3955577 / rank @@
+Normal rank
@@ Property / cites work @@
+Semiring identities of the Brandt monoid
@@ Property / cites work: Semiring identities of the Brandt monoid / rank @@
+Normal rank
@@ Property / cites work @@
+On McKenzie's method
@@ Property / cites work: On McKenzie's method / rank @@
+Normal rank
@@ Property / cites work @@
+THE VARIETY GENERATED BY AN AI-SEMIRING OF ORDER THREE
+Normal rank