Variations of statement, variations of strength. The case of the Rival-Sands theorems

DOI10.1007/s10958-023-06655-zOpenAlexW4387078748MaRDI QIDQ6147850

Marta Fiori-Carones

Publication date: 1 February 2024

Published in: Journal of Mathematical Sciences (New York) (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10958-023-06655-z

Mathematics Subject Classification ID

General logic (03Bxx) Proof theory and constructive mathematics (03Fxx) Computability and recursion theory (03Dxx)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• The Bolzano-Weierstrass theorem is the jump of weak Kőnig's lemma
• \(\varPi^1_1\)-conservation of combinatorial principles weaker than Ramsey's theorem for pairs
• The inductive strength of Ramsey's theorem for pairs
• The uniform content of partial and linear orders
• RT₂² does not imply WKL₀
• Slicing the Truth
• Combinatorial principles weaker than Ramsey's Theorem for pairs
• On the role of the collection principle for Σ⁰₂-formulas in second-order reverse mathematics
• On the Adjacency of Vertices to the Vertices of an Infinite Subgraph
• An Effective Version of Dilworth's Theorem
• ON THE UNIFORM COMPUTATIONAL CONTENT OF RAMSEY’S THEOREM
• Weihrauch Complexity in Computable Analysis
• An inside/outside Ramsey theorem and recursion theory

This page was built for publication: Variations of statement, variations of strength. The case of the Rival-Sands theorems