Recursive inseparability for residual bounds of finite algebras (Q2710615): Difference between revisions

@@ 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 McKenzie's method
@@ Property / cites work: On McKenzie's method / 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 @@
+Tarski’s finite basis problem via 𝐀(𝒯)
@@ Property / cites work: Tarski’s finite basis problem via 𝐀(𝒯) / rank @@
+Normal rank
@@ Property / cites work @@
+Equational classes generated by finite algebras
@@ Property / cites work: Equational classes generated by finite algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Residually small varieties
@@ Property / cites work: Residually small varieties / rank @@
+Normal rank