Weak theories of concatenation and arithmetic (Q435240): Difference between revisions

@@ Property / Mathematics Subject Classification ID @@
+F25
@@ Property / Mathematics Subject Classification ID: 03F25 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+F30
@@ Property / Mathematics Subject Classification ID: 03F30 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+B25
@@ Property / Mathematics Subject Classification ID: 03B25 / rank @@
+Normal rank
@@ Property / zbMATH DE Number @@
+6054426
@@ Property / zbMATH DE Number: 6054426 / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+theory of concatenation
@@ Property / zbMATH Keywords: theory of concatenation / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+Robinson's arithmetic
@@ Property / zbMATH Keywords: Robinson's arithmetic / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+interpretation
@@ Property / zbMATH Keywords: interpretation / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2065688612
@@ Property / OpenAlex ID: W2065688612 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3079690
@@ Property / cites work: Q3079690 / 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 @@
+Variants of Robinson's essentially undecidable theoryR
+Normal rank
@@ Property / cites work @@
+Q4354788
@@ Property / cites work: Q4354788 / rank @@
+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 @@
+Q4903812
@@ Property / cites work: Q4903812 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4193434
@@ Property / cites work: Q4193434 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5445176
@@ Property / cites work: Q5445176 / 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 @@
+Q5761282
@@ Property / cites work: Q5761282 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5567863
@@ Property / cites work: Q5567863 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4215610
@@ Property / cites work: Q4215610 / rank @@
+Normal rank
@@ Property / cites work @@
+Growing commas. A study of sequentiality and concatenation
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:435240