The proof-theoretic strength of Ramsey's theorem for pairs and two colors (Q1644984): Difference between revisions

@@ Property / DOI @@
-.1016/j.aim.2018.03.035
@@ Property / DOI: 10.1016/j.aim.2018.03.035 / rank @@
-Normal rank
@@ Property / cites work @@
+Q3947654
@@ Property / cites work: Q3947654 / rank @@
+Normal rank
@@ Property / cites work @@
+Ramsey methods in analysis
@@ Property / cites work: Ramsey methods in analysis / rank @@
+Normal rank
@@ Property / cites work @@
+Formalizing forcing arguments in subsystems of second-order arithmetic
+Normal rank
@@ Property / cites work @@
+An introduction to recursively saturated and resplendent models
+Normal rank
@@ Property / cites work @@
+Q3340832
@@ Property / cites work: Q3340832 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4700239
@@ Property / cites work: Q4700239 / rank @@
+Normal rank
@@ Property / cites work @@
+Some combinatorics involving ξ-large sets
@@ Property / cites work: Some combinatorics involving ξ-large sets / rank @@
+Normal rank
@@ Property / cites work @@
+Partitioning 𝛼–large sets: Some lower bounds
@@ Property / cites work: Partitioning 𝛼–large sets: Some lower bounds / rank @@
+Normal rank
@@ Property / cites work @@
+The strength of infinitary Ramseyan principles can be accessed by their densities
+Normal rank
@@ Property / cites work @@
+Proof-theoretic analysis of termination proofs
@@ Property / cites work: Proof-theoretic analysis of termination proofs / rank @@
+Normal rank
@@ Property / cites work @@
+Handbook of proof theory
@@ Property / cites work: Handbook of proof theory / 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 @@
+The metamathematics of Stable Ramsey’s Theorem for Pairs
+Normal rank
@@ Property / cites work @@
+The inductive strength of Ramsey's theorem for pairs
+Normal rank
@@ Property / cites work @@
+\(\varPi^1_1\)-conservation of combinatorial principles weaker than Ramsey's theorem for pairs
+Normal rank
@@ Property / cites work @@
+Q3682484
@@ Property / cites work: Q3682484 / rank @@
+Normal rank
@@ Property / cites work @@
+Random reals, the rainbow Ramsey theorem, and arithmetic conservation
+Normal rank
@@ Property / cites work @@
+A Δ<sub>2</sub><sup>0</sup> set with no infinite low subset in either it or its complement
+Normal rank
@@ Property / cites work @@
+Some remarks on the theory of graphs
@@ Property / cites work: Some remarks on the theory of graphs / rank @@
+Normal rank
@@ Property / cites work @@
+Reverse mathematics and a Ramsey-type König's Lemma
+Normal rank
@@ Property / cites work @@
+Q4111536
@@ Property / cites work: Q4111536 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3140636
@@ Property / cites work: Q3140636 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5286672
@@ Property / cites work: Q5286672 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3508462
@@ Property / cites work: Q3508462 / rank @@
+Normal rank
@@ Property / cites work @@
+Slicing the Truth
@@ Property / cites work: Slicing the Truth / rank @@
+Normal rank
@@ Property / cites work @@
+Combinatorial principles weaker than Ramsey's Theorem for pairs
+Normal rank
@@ Property / cites work @@
+Ramsey's theorem and recursion theory
@@ Property / cites work: Ramsey's theorem and recursion theory / rank @@
+Normal rank
@@ Property / cites work @@
+∏ 0 1 Classes and Degrees of Theories
@@ Property / cites work: ∏ 0 1 Classes and Degrees of Theories / rank @@
+Normal rank
@@ Property / cites work @@
+Q4001935
@@ Property / cites work: Q4001935 / rank @@
+Normal rank
@@ Property / cites work @@
+Rapidly growing Ramsey functions
@@ Property / cites work: Rapidly growing Ramsey functions / rank @@
+Normal rank
@@ Property / cites work @@
+Q5484945
@@ Property / cites work: Q5484945 / rank @@
+Normal rank
@@ Property / cites work @@
+More on lower bounds for partitioning \(\alpha\)-large sets
+Normal rank
@@ Property / cites work @@
+Primitive recursion and the chain antichain principle
+Normal rank
@@ Property / cites work @@
+Ramsey's theorem for pairs and provably recursive functions
+Normal rank
@@ Property / cites work @@
+SEPARATING PRINCIPLES BELOW RAMSEY'S THEOREM FOR PAIRS
+Normal rank
@@ Property / cites work @@
+RT<sub>2</sub><sup>2</sup> does not imply WKL<sub>0</sub>
+Normal rank
@@ Property / cites work @@
+Partition Theorems and Computability Theory
@@ Property / cites work: Partition Theorems and Computability Theory / rank @@
+Normal rank
@@ Property / cites work @@
+On the Ramseyan Factorization Theorem
@@ Property / cites work: On the Ramseyan Factorization Theorem / rank @@
+Normal rank
@@ Property / cites work @@
+Some independence results for Peano arithmetic
@@ Property / cites work: Some independence results for Peano arithmetic / rank @@
+Normal rank
@@ Property / cites work @@
+Q3884109
@@ Property / cites work: Q3884109 / rank @@
+Normal rank
@@ Property / cites work @@
+Iterative Forcing and Hyperimmunity in Reverse Mathematics
+Normal rank
@@ Property / cites work @@
+Q5317419
@@ Property / cites work: Q5317419 / rank @@
+Normal rank
@@ Property / cites work @@
+On the strength of Ramsey's theorem
@@ Property / cites work: On the strength of Ramsey's theorem / rank @@
+Normal rank
@@ Property / cites work @@
+Partial realizations of Hilbert's program
@@ Property / cites work: Partial realizations of Hilbert's program / rank @@
+Normal rank
@@ Property / cites work @@
+Q3395521
@@ Property / cites work: Q3395521 / rank @@
+Normal rank
@@ Property / cites work @@
+Reverse mathematical bounds for the termination theorem
+Normal rank
@@ Property / cites work @@
+Q5573940
@@ Property / cites work: Q5573940 / rank @@
+Normal rank
@@ Property / cites work @@
+THE DEFINABILITY STRENGTH OF COMBINATORIAL PRINCIPLES
+Normal rank
@@ Property / cites work @@
+A classification of rapidly growing Ramsey functions
+Normal rank
@@ Property / cites work @@
+On the strength of Ramsey's theorem without Σ<sub>1</sub>‐induction
+Normal rank
@@ Property / DOI @@
+.1016/J.AIM.2018.03.035
@@ Property / DOI: 10.1016/J.AIM.2018.03.035 / rank @@
+Normal rank