18 citations · 65 across the 11 of their papers we have counts for
Showing 2010Show all
2 papers · 1 filter
math.LO2010★ 18 cited
Reverse mathematics and uniformity in proofs without excluded middle
Jeffry L. Hirst, Carl Mummert
We show that when certain statements are provable in subsystems of constructive analysis using intuitionistic predicate calculus, related sequential statements are provable in weak…
math.LO2010
Reverse mathematics and equivalents of the axiom of choice
Damir D. Dzhafarov, Carl Mummert
We study the reverse mathematics of countable analogues of several maximality principles that are equivalent to the axiom of choice in set theory. Among these are the principle ass…