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

@@ Property / DOI @@
-.1017/jsl.2022.15
@@ Property / DOI: 10.1017/jsl.2022.15 / rank @@
-Normal rank
@@ 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
@@ Property / DOI @@
+.1017/JSL.2022.15
@@ Property / DOI: 10.1017/JSL.2022.15 / rank @@
+Normal rank