46 citations · 63 across the 10 of their papers we have counts for
Showing 2018Show all
2 papers · 1 filter
math.LO2018★ 2 cited
The determined property of Baire in reverse math
Eric P. Astor, Damir Dzhafarov, Antonio Montalbán +2
We define the notion of a determined Borel code in reverse math, and consider the principle , which states that every determined Borel set has the property of Baire. We show t…
math.LO2018
The reverse mathematics of Hindman's theorem for sums of exactly two elements
Barbara F. Csima, Damir D. Dzhafarov, Denis R. Hirschfeldt +3
Hindman's Theorem (HT) states that for every coloring of with finitely many colors, there is an infinite set such that all nonempty sums of dist…