@article{1183741550, author = {Moerdijk, Ieke}, title = {Heine-Borel Does not Imply the Fan Theorem}, journal = {J. Symbolic Logic}, volume = {49}, number = {1}, year = {1984}, pages = { 514-519}, language = {en}, url = {http://dml.mathdoc.fr/item/1183741550} }
Moerdijk, Ieke. Heine-Borel Does not Imply the Fan Theorem. J. Symbolic Logic, Tome 49 (1984) no. 1, pp. 514-519. http://gdmltest.u-ga.fr/item/1183741550/