Open Questions in Reverse Mathematics
From MaRDI portal
Publication:3174640
DOI10.2178/bsl/1309952320zbMath1233.03023OpenAlexW2170311001WikidataQ126081666 ScholiaQ126081666MaRDI QIDQ3174640
Publication date: 11 October 2011
Published in: The Bulletin of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://semanticscholar.org/paper/5a88c5dc085f02a0cb991f5e89358e2172a3aea2
Foundations of classical theories (including reverse mathematics) (03B30) Second- and higher-order arithmetic and fragments (03F35)
Related Items (49)
Countable sets versus sets that are countable in reverse mathematics ⋮ The computability, definability, and proof theory of Artinian rings ⋮ Representations and the foundations of mathematics ⋮ Refining the taming of the reverse mathematics zoo ⋮ Reverse mathematics and parameter-free transfer ⋮ Determinacy and monotone inductive definitions ⋮ Well-Ordering Principles in Proof Theory and Reverse Mathematics ⋮ THEOREMS OF HYPERARITHMETIC ANALYSIS AND ALMOST THEOREMS OF HYPERARITHMETIC ANALYSIS ⋮ Hindman's theorem for sums along the full binary tree, \(\Sigma^0_2\)-induction and the pigeonhole principle for trees ⋮ THE REVERSE MATHEMATICS OF THE THIN SET AND ERDŐS–MOSER THEOREMS ⋮ Dominating the Erdős-Moser theorem in reverse mathematics ⋮ Coloring trees in reverse mathematics ⋮ On the strength of the finite intersection principle ⋮ Splittings and disjunctions in reverse mathematics ⋮ OPEN QUESTIONS ABOUT RAMSEY-TYPE STATEMENTS IN REVERSE MATHEMATICS ⋮ Infinite dimensional proper subspaces of computable vector spaces ⋮ Well ordering principles for iterated \(\Pi^1_1\)-comprehension ⋮ ALMOST THEOREMS OF HYPERARITHMETIC ANALYSIS ⋮ “Weak yet strong” restrictions of Hindman’s Finite Sums Theorem ⋮ Some upper bounds on ordinal-valued Ramsey numbers for colourings of pairs ⋮ On the logical strength of the better quasi order with three elements ⋮ Computability theory. Abstracts from the workshop held April 25 -- May 1, 2021 (hybrid meeting) ⋮ Computable aspects of the Bachmann–Howard principle ⋮ Induction, Bounding, Weak Combinatorial Principles, and the Homogeneous Model Theorem ⋮ Unnamed Item ⋮ ON THE STRENGTH OF TWO RECURRENCE THEOREMS ⋮ STRONG REDUCTIONS BETWEEN COMBINATORIAL PRINCIPLES ⋮ The Reverse Mathematics of wqos and bqos ⋮ Reverse mathematics of topology: dimension, paracompactness, and splittings ⋮ On the logical strengths of partial solutions to mathematical problems ⋮ The weakness of being cohesive, thin or free in reverse mathematics ⋮ A computable analysis of variable words theorems ⋮ A weak variant of Hindman's theorem stronger than Hilbert's theorem ⋮ New bounds on the strength of some restrictions of Hindman's theorem ⋮ \(\Pi_1^1\)-comprehension as a well-ordering principle ⋮ A categorical construction of Bachmann–Howard fixed points ⋮ COMPUTABILITY THEORY, NONSTANDARD ANALYSIS, AND THEIR CONNECTIONS ⋮ Pure \(\Sigma_2\)-elementarity beyond the core ⋮ Thin set theorems and cone avoidance ⋮ Reverse formalism 16 ⋮ Pincherle's theorem in reverse mathematics and computability theory ⋮ On the mathematical and foundational significance of the uncountable ⋮ The reverse mathematics of the Tietze extension theorem ⋮ Patterns of resemblance and Bachmann-Howard fixed points ⋮ Nets and reverse mathematics ⋮ ON IDEMPOTENT ULTRAFILTERS IN HIGHER-ORDER REVERSE MATHEMATICS ⋮ A Glimpse of $$ \sum_{3} $$-elementarity ⋮ Reverse mathematics of the uncountability of \(\mathbb{R}\) ⋮ Restrictions of Hindman's theorem: an overview
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- The Bachmann-Howard structure in terms of \(\Sigma_1\)-elementarity
- Ramsey's theorem for trees: the polarized tree theorem and notions of stability
- Patterns of resemblance of order 2
- The polarized Ramsey's theorem
- On Fraïssé's conjecture for linear orders of finite Hausdorff rank
- A dual form of Ramsey's theorem
- Countable algebra and set existence axioms
- Factorization of polynomials and \(\Sigma ^ 0_ 1\) induction
- Proof-theoretic investigations on Kruskal's theorem
- Lebesgue numbers and Atsuji spaces in subsystems of second-order arithmetic
- Reverse mathematics and ordinal exponentiation
- Computability-theoretic and proof-theoretic aspects of partial and linear orderings
- Some unifying principles in Ramsey theory
- A note on the theory of positive induction, \({{\text{ID}}^*_1}\)
- Equivalence between Fraïssé's conjecture and Jullien's theorem
- On Fraissé's order type conjecture
- Measure theory and weak König's lemma
- On the strength of Ramsey's theorem for pairs
- Chain conditions in computable rings
- Groundwork for weak analysis
- Uniform versions of some axioms of second order arithmetic
- Combinatorial principles weaker than Ramsey's Theorem for pairs
- On the role of the collection principle for Σ⁰₂-formulas in second-order reverse mathematics
- Reverse mathematics, computability, and partitions of trees
- Determinacy of Wadge classes and subsystems of second order arithmetic
- Corrigendum to: “On the strength of Ramsey's Theorem for pairs”
- Π12-logic, Part 1: Dilators
- Located sets and reverse mathematics
- Infinite games in the Cantor space and subsystems of second order arithmetic
- Δ3O-determinacy, comprehension and induction
- Assignment of ordinals to patterns of resemblance
- Reverse mathematics and the equivalence of definitions for well and better quasi-orders
- Comparing DNR and WWKL
- Hindman's theorem, ultrafilters, and reverse mathematics
- Ranked structures and arithmetic transfinite recursion
- INDECOMPOSABLE LINEAR ORDERINGS AND HYPERARITHMETIC ANALYSIS
- Class groups of integral group rings
- Ramsey's theorem and recursion theory
- Up to equimorphism, hyperarithmetic is recursive
This page was built for publication: Open Questions in Reverse Mathematics
