A sharpened version of McAloon's theorem on initial segments of models of \(I\Delta_ 0\) (Q685068): Difference between revisions

@@ Property / cites work @@
+Local behaviour of the Chebyshev theorem in models of <i>I</i>⊿<sub>0</sub>
+Normal rank
@@ Property / cites work @@
+Q4001935
@@ Property / cites work: Q4001935 / rank @@
+Normal rank
@@ Property / cites work @@
+Diophantine induction
@@ Property / cites work: Diophantine induction / rank @@
+Normal rank
@@ Property / cites work @@
+On the complexity of models of arithmetic
@@ Property / cites work: On the complexity of models of arithmetic / rank @@
+Normal rank
@@ Property / cites work @@
+Q3893931
@@ Property / cites work: Q3893931 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3931384
@@ Property / cites work: Q3931384 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3884109
@@ Property / cites work: Q3884109 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3325707
@@ Property / cites work: Q3325707 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3739120
@@ Property / cites work: Q3739120 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3470461
@@ Property / cites work: Q3470461 / rank @@
+Normal rank
@@ Property / cites work @@
+Bounded existential induction
@@ Property / cites work: Bounded existential induction / rank @@
+Normal rank