On arithmetical first-order theories allowing encoding and decoding of lists (Q1960537): Difference between revisions

@@ Property / cites work @@
+Q3290711
@@ Property / cites work: Q3290711 / rank @@
+Normal rank
@@ Property / cites work @@
+Definability, decidability, complexity
@@ Property / cites work: Definability, decidability, complexity / rank @@
+Normal rank
@@ Property / cites work @@
+Q4830809
@@ Property / cites work: Q4830809 / rank @@
+Normal rank
@@ Property / cites work @@
+Recursive programming
@@ Property / cites work: Recursive programming / rank @@
+Normal rank
@@ Property / cites work @@
+Q4052071
@@ Property / cites work: Q4052071 / rank @@
+Normal rank
@@ Property / cites work @@
+A list of arithmetical structures complete with respect to the first-order definability
+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 @@
+Q3218118
@@ Property / cites work: Q3218118 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4735188
@@ Property / cites work: Q4735188 / rank @@
+Normal rank
@@ Property / cites work @@
+Definability in terms of the successor function and the coprimeness predicate in the set of arbitrary integers
+Normal rank
@@ Property / cites work @@
+Definability and decision problems in arithmetic
@@ Property / cites work: Definability and decision problems in arithmetic / rank @@
+Normal rank
@@ Property / cites work @@
+LOGICAL THEORIES OF ONE-PLACE FUNCTIONS ON THE SET OF NATURAL NUMBERS
+Normal rank
@@ Property / cites work @@
+Q3900021
@@ Property / cites work: Q3900021 / rank @@
+Normal rank
@@ Property / cites work @@
+Logical number theory I. An introduction
@@ Property / cites work: Logical number theory I. An introduction / rank @@
+Normal rank