\(\Delta_{2}\) degrees without \(\Sigma_{1}\) induction (Q466117): Difference between revisions

@@ Property / author @@
-Wei Li
@@ Property / author: Wei Li / rank @@
-Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/s11856-014-1039-x
+Normal rank
@@ Property / OpenAlex ID @@
+W2070054846
@@ Property / OpenAlex ID: W2070054846 / rank @@
+Normal rank
@@ Property / cites work @@
+The degree of a \(\Sigma_ n\) cut
@@ Property / cites work: The degree of a \(\Sigma_ n\) cut / rank @@
+Normal rank
@@ Property / cites work @@
+∑ n Definable Sets without ∑ n Induction
@@ Property / cites work: ∑ n Definable Sets without ∑ n Induction / rank @@
+Normal rank
@@ Property / cites work @@
+Q2784778
@@ Property / cites work: Q2784778 / rank @@
+Normal rank
@@ Property / cites work @@
+The jump of a Σ<sub>                             <i>n</i>                         </sub> -cut
@@ Property / cites work: The jump of a Σ<sub> <i>n</i> </sub> -cut / rank @@
+Normal rank
@@ Property / cites work @@
+<i>Σ<sub>2</sub></i>-collection and the infinite injury priority method
+Normal rank
@@ Property / cites work @@
+Q3480037
@@ Property / cites work: Q3480037 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4001935
@@ Property / cites work: Q4001935 / rank @@
+Normal rank
@@ Property / cites work @@
+Model-theoretic properties characterizing Peano arithmetic
+Normal rank
@@ Property / cites work @@
+Finite injury and <i>Σ</i><sub>1</sub>-induction
@@ Property / cites work: Finite injury and <i>Σ</i><sub>1</sub>-induction / rank @@
+Normal rank
@@ Property / cites work @@
+Q3884109
@@ Property / cites work: Q3884109 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5600870
@@ Property / cites work: Q5600870 / rank @@
+Normal rank
@@ Property / cites work @@
+Σ_{𝑛}-bounding and Δ_{𝑛}-induction
@@ Property / cites work: Σ_{𝑛}-bounding and Δ_{𝑛}-induction / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:466117