MUTUAL INTERPRETABILITY OF ROBINSON ARITHMETIC AND ADJUNCTIVE SET THEORY WITH EXTENSIONALITY (Q4640303): Difference between revisions

@@ Property / DOI @@
-.1017/bsl.2017.30
@@ Property / DOI: 10.1017/bsl.2017.30 / rank @@
-Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2963869270
@@ Property / OpenAlex ID: W2963869270 / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.03531
@@ Property / arXiv ID: 1707.03531 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5694788
@@ Property / cites work: Q5694788 / rank @@
+Normal rank
@@ Property / cites work @@
+On the interpretability of arithmetic in set theory
+Normal rank
@@ Property / cites work @@
+Interpretability in Robinson's Q
@@ Property / cites work: Interpretability in Robinson's Q / rank @@
+Normal rank
@@ Property / cites work @@
+Arithmetic on semigroups
@@ Property / cites work: Arithmetic on semigroups / rank @@
+Normal rank
@@ Property / cites work @@
+Undecidability without arithmetization
@@ Property / cites work: Undecidability without arithmetization / rank @@
+Normal rank
@@ Property / cites work @@
+Q3509164
@@ Property / cites work: Q3509164 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5286672
@@ Property / cites work: Q5286672 / rank @@
+Normal rank
@@ Property / cites work @@
+Finitary set theory
@@ Property / cites work: Finitary set theory / rank @@
+Normal rank
@@ Property / cites work @@
+A minimal predicative set theory
@@ Property / cites work: A minimal predicative set theory / rank @@
+Normal rank
@@ Property / cites work @@
+A lattice of chapters of mathematics (interpretations between theorems [theories])
+Normal rank
@@ Property / cites work @@
+Q4726219
@@ Property / cites work: Q4726219 / rank @@
+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 @@
+On interpretability in the theory of concatenation
+Normal rank
@@ Property / cites work @@
+Undecidable theories
@@ Property / cites work: Undecidable theories / rank @@
+Normal rank
@@ Property / cites work @@
+Pairs, sets and sequences in first-order theories
@@ Property / cites work: Pairs, sets and sequences in first-order theories / rank @@
+Normal rank
@@ Property / cites work @@
+CARDINAL ARITHMETIC IN THE STYLE OF BARON VON MÜNCHHAUSEN
+Normal rank
@@ Property / cites work @@
+Growing commas. A study of sequentiality and concatenation
+Normal rank
@@ Property / DOI @@
+.1017/BSL.2017.30
@@ Property / DOI: 10.1017/BSL.2017.30 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:4640303