18 citations · 34 across the 12 of their papers we have counts for
3 papers · 1 filter
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…
Reverse Mathematics and Algebraic Field Extensions
François G. Dorais, Jeffry Hirst, Paul Shafer
This paper analyzes theorems about algebraic field extensions using the techniques of reverse mathematics. In section 2, we show that is equivalent to the ability…
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…