MUTUAL INTERPRETABILITY OF WEAK ESSENTIALLY UNDECIDABLE THEORIES (Q5052004): Difference between revisions

@@ Property / cites work @@
+MUTUAL INTERPRETABILITY OF ROBINSON ARITHMETIC AND ADJUNCTIVE SET THEORY WITH EXTENSIONALITY
+Normal rank
@@ Property / cites work @@
+MUTUAL INTERPRETABILITY OF WEAK ESSENTIALLY UNDECIDABLE THEORIES
+Normal rank
@@ Property / cites work @@
+Interpretability in Robinson's Q
@@ Property / cites work: Interpretability in Robinson's Q / rank @@
+Normal rank
@@ Property / cites work @@
+Weak theories of concatenation and minimal essentially undecidable theories. An encounter of \(\mathsf{WTC}\) and \(\mathsf{S2S}\)
+Normal rank
@@ Property / cites work @@
+On interpretability between some weak essentially undecidable theories
+Normal rank
@@ Property / cites work @@
+Concatenation as a basis for arithmetic
@@ Property / cites work: Concatenation as a basis for arithmetic / rank @@
+Normal rank
@@ Property / cites work @@
+Undecidable theories
@@ Property / cites work: Undecidable theories / rank @@
+Normal rank
@@ Property / cites work @@
+Growing commas. A study of sequentiality and concatenation
+Normal rank
@@ Property / cites work @@
+Q3464615
@@ Property / cites work: Q3464615 / rank @@
+Normal rank