11 citations · 35 across the 26 of their papers we have counts for
4 papers · 1 filter
Cohesive avoidance and arithmetical sets
Damir D. Dzhafarov
An open question in reverse mathematics is whether the cohesive principle, $\COH$, is implied by the stable form of Ramsey's theorem for pairs, $\SRT^2_2$, in -models of $\RCA$.…
On uniform relationships between combinatorial problems
François G. Dorais, Damir D. Dzhafarov, Jeffry L. Hirst +2
The enterprise of comparing mathematical theorems according to their logical strength is an active area in mathematical logic. In this setting, called reverse mathematics, one inve…
Limits to joining with generics and randoms
Adam R. Day, Damir D. Dzhafarov
Posner and Robinson (1981) proved that if is non-computable, then there exists a such that . Shore and Slaman (1999) extended…
On Mathias generic sets
Peter A. Cholak, Damir D. Dzhafarov, Jeffry L. Hirst
We present some results about generics for computable Mathias forcing. The -generics and weak -generics in this setting form a strict hierarchy as in the case of Cohen forcin…