Sciweavers

2 search results - page 1 / 1
» Brouwer and Fraenkel on intuitionism
Sort
View
51
Voted
BSL
2000
89views more  BSL 2000»
14 years 10 months ago
Brouwer and Fraenkel on intuitionism
Dirk van Dalen
82
Voted
JUCS
2010
110views more  JUCS 2010»
14 years 5 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