A finite basis theorem for residually finite, congruence meet-semidistributive varieties (Q4953214): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2594244112
@@ Property / OpenAlex ID: W2594244112 / rank @@
+Normal rank
@@ Property / arXiv ID @@
+math/9712291
@@ Property / arXiv ID: math/9712291 / rank @@
+Normal rank
@@ Property / cites work @@
+Residually small varieties
@@ Property / cites work: Residually small varieties / rank @@
+Normal rank
@@ Property / cites work @@
+Tarski’s finite basis problem via 𝐀(𝒯)
@@ Property / cites work: Tarski’s finite basis problem via 𝐀(𝒯) / rank @@
+Normal rank
@@ Property / cites work @@
+Algebras Whose Congruence Lattices are Distributive.
+Normal rank
@@ Property / cites work @@
+Semi-categorial algebras. II
@@ Property / cites work: Semi-categorial algebras. II / rank @@
+Normal rank
@@ Property / cites work @@
+Finite equational bases for finite algebras in a congruence-distributive equational class
+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 @@
+THE RESIDUAL BOUNDS OF FINITE ALGEBRAS
@@ Property / cites work: THE RESIDUAL BOUNDS OF FINITE ALGEBRAS / rank @@
+Normal rank
@@ Property / cites work @@
+THE RESIDUAL BOUND OF A FINITE ALGEBRA IS NOT COMPUTABLE
+Normal rank
@@ Property / cites work @@
+Finite equational bases for congruence modular varieties
+Normal rank
@@ Property / cites work @@
+Para primal varieties: A study of finite axiomatizability and definable principal congruences in locally finite varieties
+Normal rank
@@ Property / cites work @@
+A Characterization of Varieties with a Difference Term, II: Neutral = Meet Semi-Distributive
+Normal rank
@@ Property / cites work @@
+Residually finite, congruence meet-semidistributive varieties of finite type have a finite residual bound
+Normal rank
@@ Property / cites work @@
+The Relationship Between Two Commutators
@@ Property / cites work: The Relationship Between Two Commutators / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:4953214