Open Questions in Reverse Mathematics (Q3174640): Difference between revisions

@@ Property / cites work @@
+Proof-theoretic investigations on Kruskal's theorem
+Normal rank
@@ Property / cites work @@
+Combinatorial principles weaker than Ramsey's Theorem for pairs
+Normal rank
@@ Property / cites work @@
+Some unifying principles in Ramsey theory
@@ Property / cites work: Some unifying principles in Ramsey theory / rank @@
+Normal rank
@@ Property / cites work @@
+Ranked structures and arithmetic transfinite recursion
+Normal rank
@@ Property / cites work @@
+Located sets and reverse mathematics
@@ Property / cites work: Located sets and reverse mathematics / rank @@
+Normal rank
@@ Property / cites work @@
+Infinite games in the Cantor space and subsystems of second order arithmetic
+Normal rank
@@ Property / cites work @@
+Determinacy of Wadge classes and subsystems of second order arithmetic
+Normal rank
@@ Property / cites work @@
+Q3794177
@@ Property / cites work: Q3794177 / rank @@
+Normal rank
@@ Property / cites work @@
+Lebesgue numbers and Atsuji spaces in subsystems of second-order arithmetic
+Normal rank
@@ Property / cites work @@
+Q3773876
@@ Property / cites work: Q3773876 / rank @@
+Normal rank
@@ Property / cites work @@
+Π12-logic, Part 1: Dilators
@@ Property / cites work: Π12-logic, Part 1: Dilators / rank @@
+Normal rank
@@ Property / cites work @@
+Equivalence between Fraïssé's conjecture and Jullien's theorem
+Normal rank
@@ Property / cites work @@
+Countable algebra and set existence axioms
@@ Property / cites work: Countable algebra and set existence axioms / rank @@
+Normal rank
@@ Property / cites work @@
+Comparing DNR and WWKL
@@ Property / cites work: Comparing DNR and WWKL / rank @@
+Normal rank
@@ Property / cites work @@
+A note on the theory of positive induction, \({{\text{ID}}^*_1}\)
+Normal rank
@@ Property / cites work @@
+INDECOMPOSABLE LINEAR ORDERINGS AND HYPERARITHMETIC ANALYSIS
+Normal rank
@@ Property / cites work @@
+Up to equimorphism, hyperarithmetic is recursive
@@ Property / cites work: Up to equimorphism, hyperarithmetic is recursive / rank @@
+Normal rank
@@ Property / cites work @@
+Measure theory and weak König's lemma
@@ Property / cites work: Measure theory and weak König's lemma / rank @@
+Normal rank
@@ Property / cites work @@
+Groundwork for weak analysis
@@ Property / cites work: Groundwork for weak analysis / rank @@
+Normal rank
@@ Property / cites work @@
+Δ<sub>3</sub><sup>O</sup>-determinacy, comprehension and induction
+Normal rank
@@ Property / cites work @@
+Ramsey's theorem for trees: the polarized tree theorem and notions of stability
+Normal rank
@@ Property / cites work @@
+Assignment of ordinals to patterns of resemblance
@@ Property / cites work: Assignment of ordinals to patterns of resemblance / 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 @@
+The Bachmann-Howard structure in terms of \(\Sigma_1\)-elementarity
+Normal rank
@@ Property / cites work @@
+On Fraïssé's conjecture for linear orders of finite Hausdorff rank
+Normal rank
@@ Property / cites work @@
+Computability-theoretic and proof-theoretic aspects of partial and linear orderings
+Normal rank
@@ Property / cites work @@
+Q5711891
@@ Property / cites work: Q5711891 / rank @@
+Normal rank
@@ Property / cites work @@
+Factorization of polynomials and \(\Sigma ^ 0_ 1\) induction
+Normal rank
@@ Property / cites work @@
+Chain conditions in computable rings
@@ Property / cites work: Chain conditions in computable rings / rank @@
+Normal rank
@@ Property / cites work @@
+On Fraissé's order type conjecture
@@ Property / cites work: On Fraissé's order type conjecture / rank @@
+Normal rank
@@ Property / cites work @@
+Q3395521
@@ Property / cites work: Q3395521 / rank @@
+Normal rank
@@ Property / cites work @@
+Reverse mathematics, computability, and partitions of trees
+Normal rank
@@ Property / cites work @@
+On the role of the collection principle for Σ⁰₂-formulas in second-order reverse mathematics
+Normal rank
@@ Property / cites work @@
+Reverse mathematics and the equivalence of definitions for well and better quasi-orders
+Normal rank
@@ Property / cites work @@
+Corrigendum to: “On the strength of Ramsey's Theorem for pairs”
+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 @@
+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 @@
+Ramsey's theorem and recursion theory
@@ Property / cites work: Ramsey's theorem and recursion theory / rank @@
+Normal rank
@@ Property / cites work @@
+Uniform versions of some axioms of second order arithmetic
+Normal rank
@@ Property / cites work @@
+A dual form of Ramsey's theorem
@@ Property / cites work: A dual form of Ramsey's theorem / rank @@
+Normal rank
@@ Property / cites work @@
+Hindman's theorem, ultrafilters, and reverse mathematics
+Normal rank
@@ Property / cites work @@
+Patterns of resemblance of order 2
@@ Property / cites work: Patterns of resemblance of order 2 / rank @@
+Normal rank
@@ Property / cites work @@
+Reverse mathematics and ordinal exponentiation
@@ Property / cites work: Reverse mathematics and ordinal exponentiation / rank @@
+Normal rank