The undecidability of the first-order theory of diagonalizable algebras (Q1153078): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+On the equational class of diagonalizable algebras. (The algebraization of the theories which express Theor. VI.)
+Normal rank
@@ Property / cites work @@
+Undecidability of Some Topological Theories
@@ Property / cites work: Undecidability of Some Topological Theories / rank @@
+Normal rank
@@ Property / cites work @@
+Q4121962
@@ Property / cites work: Q4121962 / rank @@
+Normal rank
@@ Property / cites work @@
+Representation and duality theory for diagonalizable algebras. (The algebraization of theories which express Theor. IV.)
+Normal rank
@@ Property / cites work @@
+Interpretations of the first-order theory of diagonalizable algebras in Peano arithmetic
+Normal rank
@@ Property / cites work @@
+Provability interpretations of modal logic
@@ Property / cites work: Provability interpretations of modal logic / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/bf00713545
+Normal rank
@@ Property / OpenAlex ID @@
+W2071895205
@@ Property / OpenAlex ID: W2071895205 / rank @@
+Normal rank