6 citations · 26 across the 19 of their papers we have counts for
Showing 2012 · math.LOShow all
2 papers · 2 filters
math.LO2012
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…
math.LO2012
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…