9 citations · 24 across the 7 of their papers we have counts for
Showing 2015Show all
2 papers · 1 filter
math.LO2015★ 9 cited
Separating the Fan Theorem and Its Weakenings
Robert S. Lubarsky, Hannes Diener
Varieties of the Fan Theorem have recently been developed in reverse constructive mathematics, corresponding to different continuity principles. They form a natural implicational h…
math.LO2015
Principles Weaker than BD-N
Robert S. Lubarsky, Hannes Diener
BD-N is a weak principle of constructive analysis. Several interesting principles implied by BD-N have already been identified, namely the closure of the anti-Specker spaces under…