THE DETERMINED PROPERTY OF BAIRE IN REVERSE MATH

DOI10.1017/jsl.2019.64zbMath1506.03123arXiv1809.03940OpenAlexW3103204530WikidataQ127291439 ScholiaQ127291439MaRDI QIDQ5107225

Antonio Montalbán, Eric P. Astor, Damir D. Dzhafarov, Linda Brown Westrick, D. Reed Solomon

Publication date: 17 April 2020

Published in: The Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1809.03940

zbMATH Keywords

Borel setsreverse mathematicsdual Ramsey theoremproperty of Bairetheories of hyperarithmetic analysis

Mathematics Subject Classification ID

Foundations of classical theories (including reverse mathematics) (03B30) Second- and higher-order arithmetic and fragments (03F35)

Related Items

Borel combinatorics fail in HYP ⋮ Effectiveness for the dual Ramsey theorem

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Lowness for genericity
• A dual form of Ramsey's theorem
• Effectiveness for the dual Ramsey theorem
• Comparing theorems of hyperarithmetic analysis with the arithmetic Bolzano-Weierstrass theorem
• Algorithmic Randomness and Complexity
• Baire Sets of k-Parameter Words are Ramsey
• Forcing with tagged trees
• HIGHER RANDOMNESS AND GENERICITY
• INDECOMPOSABLE LINEAR ORDERINGS AND HYPERARITHMETIC ANALYSIS
• Uniformly introreducible sets
• Recursive Pseudo-Well-Orderings