Reverse Mathematics: The Playground of Logic (Q3163663): Difference between revisions

@@ Property / cites work @@
+Infinite games in the Cantor space and subsystems of second order arithmetic
+Normal rank
@@ Property / cites work @@
+The polarized Ramsey's theorem
@@ Property / cites work: The polarized Ramsey's theorem / rank @@
+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 @@
+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 @@
+INDECOMPOSABLE LINEAR ORDERINGS AND HYPERARITHMETIC ANALYSIS
+Normal rank
@@ Property / cites work @@
+Computations in higher types
@@ Property / cites work: Computations in higher types / rank @@
+Normal rank
@@ Property / cites work @@
+On the strength of König's duality theorem for infinite bipartite graphs
+Normal rank
@@ Property / cites work @@
+Non-standard analysis in ACA0 and Riemann mapping theorem
+Normal rank
@@ Property / cites work @@
+Reverse mathematics and well-ordering principles: a pilot study
+Normal rank
@@ Property / cites work @@
+Δ<sub>3</sub><sup>O</sup>-determinacy, comprehension and induction
+Normal rank
@@ Property / cites work @@
+Weak axioms of determinacy and subsystems of analysis. II \((\Sigma ^ 0_ 2\) games)
+Normal rank
@@ Property / cites work @@
+Borel determinacy
@@ Property / cites work: Borel determinacy / rank @@
+Normal rank
@@ Property / cites work @@
+Weak axioms of determinacy and subsystems of analysis I: δ20 games
+Normal rank
@@ Property / cites work @@
+Forcing with tagged trees
@@ Property / cites work: Forcing with tagged trees / rank @@
+Normal rank
@@ Property / cites work @@
+On Fraïssé's conjecture for linear orders of finite Hausdorff rank
+Normal rank
@@ Property / cites work @@
+Matching theory
@@ Property / cites work: Matching theory / rank @@
+Normal rank
@@ Property / cites work @@
+On suborderings of the α-recursively enumerable α-degrees
+Normal rank
@@ Property / cites work @@
+Q3395521
@@ Property / cites work: Q3395521 / rank @@
+Normal rank
@@ Property / cites work @@
+Applied Proof Theory: Proof Interpretations and Their Use in Mathematics
+Normal rank
@@ Property / cites work @@
+On the strength of König's duality theorem for countable bipartite graphs
+Normal rank
@@ Property / cites work @@
+Q5711891
@@ Property / cites work: Q5711891 / rank @@
+Normal rank
@@ Property / cites work @@
+Defining the Turing jump
@@ Property / cites work: Defining the Turing jump / rank @@
+Normal rank
@@ Property / cites work @@
+DIRECT AND LOCAL DEFINITIONS OF THE TURING JUMP
@@ Property / cites work: DIRECT AND LOCAL DEFINITIONS OF THE TURING JUMP / rank @@
+Normal rank
@@ Property / cites work @@
+Class groups of integral group rings
@@ Property / cites work: Class groups of integral group rings / rank @@
+Normal rank
@@ Property / cites work @@
+The atomic model theorem and type omitting
@@ Property / cites work: The atomic model theorem and type omitting / rank @@
+Normal rank
@@ Property / cites work @@
+Combinatorial principles weaker than Ramsey's Theorem for pairs
+Normal rank
@@ Property / cites work @@
+Q4040890
@@ Property / cites work: Q4040890 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5286672
@@ Property / cites work: Q5286672 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3949052
@@ Property / cites work: Q3949052 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5573961
@@ Property / cites work: Q5573961 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2906572
@@ Property / cites work: Q2906572 / rank @@
+Normal rank
@@ Property / cites work @@
+Higher set theory and mathematical practice
@@ Property / cites work: Higher set theory and mathematical practice / rank @@
+Normal rank
@@ Property / cites work @@
+Q3880831
@@ Property / cites work: Q3880831 / rank @@
+Normal rank