Sciweavers

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