Sciweavers

JUCS
2010
110views more  JUCS 2010»
13 years 7 months ago
On Choice Principles and Fan Theorems
: Veldman proved that the contrapositive of countable binary choice is a theorem of full-fledged intuitionism, to which end he used a principle of continuous choice and the fan the...
Hannes Diener, Peter Schuster