Hereditary undecidability of some theories of finite structures (Q4323040): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.2307/2275703
@@ Property / full work available at URL: https://doi.org/10.2307/2275703 / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W1976576221
@@ Property / OpenAlex ID: W1976576221 / rank @@
+Normal rank
@@ Property / cites work @@
+Varieties with decidable finite algebras. II: Permutability
+Normal rank
@@ Property / cites work @@
+Varieties with decidable finite algebras. I: Linearity
+Normal rank
@@ Property / cites work @@
+Q3934450
@@ Property / cites work: Q3934450 / rank @@
+Normal rank
@@ Property / cites work @@
+Decidable discriminator varieties from unary varieties
+Normal rank
@@ Property / cites work @@
+SOME PROPERTIES OF FINITELY DECIDABLE VARIETIES
@@ Property / cites work: SOME PROPERTIES OF FINITELY DECIDABLE VARIETIES / rank @@
+Normal rank
@@ Property / cites work @@
+Unsolvability of the universal theory of finite groups
+Normal rank
@@ Property / cites work @@
+Certain logical reduction and decision problems
@@ Property / cites work: Certain logical reduction and decision problems / rank @@
+Normal rank
@@ Property / cites work @@
+Wild representation type and undecidability
@@ Property / cites work: Wild representation type and undecidability / rank @@
+Normal rank
@@ Property / cites work @@
+The structure of decidable locally finite varieties
+Normal rank
@@ Property / cites work @@
+Finitary decidability implies congruence permutability for congruence modular varieties
+Normal rank