On the role of the collection principle for Σ⁰₂-formulas in second-order reverse mathematics (Q3550582): Difference between revisions

@@ Property / author @@
+Chi Tat Chong
@@ Property / author: Chi Tat Chong / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+On the strength of Ramsey's theorem for pairs
@@ Property / cites work: On the strength of Ramsey's theorem for pairs / rank @@
+Normal rank
@@ Property / cites work @@
+An α-finite injury method of the unbounded type
@@ Property / cites work: An α-finite injury method of the unbounded type / rank @@
+Normal rank
@@ Property / cites work @@
+\(\Sigma_ 2\) induction and infinite injury priority arguments. II. Tame \(\Sigma_ 2\) coding and the jump operator
+Normal rank
@@ Property / cites work @@
+A partition calculus in set theory
@@ Property / cites work: A partition calculus in set theory / rank @@
+Normal rank
@@ Property / cites work @@
+The polarized Ramsey's theorem
@@ Property / cites work: The polarized Ramsey's theorem / rank @@
+Normal rank
@@ Property / cites work @@
+Q4384146
@@ Property / cites work: Q4384146 / rank @@
+Normal rank
@@ Property / cites work @@
+Combinatorial principles weaker than Ramsey's Theorem for pairs
+Normal rank
@@ Property / cites work @@
+On suborderings of the α-recursively enumerable α-degrees
+Normal rank
@@ Property / cites work @@
+Q4220572
@@ Property / cites work: Q4220572 / rank @@
+Normal rank
@@ Property / cites work @@
+Σ_{𝑛}-bounding and Δ_{𝑛}-induction
@@ Property / cites work: Σ_{𝑛}-bounding and Δ_{𝑛}-induction / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1090/s0002-9939-09-10115-6
+Normal rank
@@ Property / OpenAlex ID @@
+W1966303569
@@ Property / OpenAlex ID: W1966303569 / rank @@
+Normal rank