18 citations · 34 across the 12 of their papers we have counts for
1 paper · 1 filter
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…