18 citations · 34 across the 12 of their papers we have counts for
Showing 2016Show all
2 papers · 1 filter
math.LO2016
Using Ramsey's Theorem Once
Jeffry L. Hirst, Carl Mummert
We show that RT(2,4) cannot be proved with one typical application of RT(2,2) in an intuitionistic extension of RCA0 to higher types, but that this does not remain true when the la…
math.LO2016
Reverse Mathematics of Matroids
Jeffry L. Hirst, Carl Mummert
Matroids generalize the familiar notion of linear dependence from linear algebra. Following a brief discussion of founding work in computability and matroids, we use the techniques…