On interpretability between some weak essentially undecidable theories (Q2106592): Difference between revisions

@@ Property / cites work @@
+FINDING THE LIMIT OF INCOMPLETENESS I
@@ Property / cites work: FINDING THE LIMIT OF INCOMPLETENESS I / rank @@
+Normal rank
@@ Property / cites work @@
+MUTUAL INTERPRETABILITY OF ROBINSON ARITHMETIC AND ADJUNCTIVE SET THEORY WITH EXTENSIONALITY
+Normal rank
@@ Property / cites work @@
+Q3509164
@@ Property / cites work: Q3509164 / 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 @@
+Recursive functions and existentially closed structures
+Normal rank
@@ Property / cites work @@
+Variants of Robinson's essentially undecidable theoryR
+Normal rank
@@ Property / cites work @@
+First-order concatenation theory with bounded quantifiers
+Normal rank
@@ Property / cites work @@
+Q5445176
@@ Property / cites work: Q5445176 / 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