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

@@ 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