Ieke Moerdijk Heine-Borel Does not Imply the Fan Theorem. 514-519 1984 49 J. Symb. Log. 2 db/journals/jsyml/jsyml49.html#Moerdijk84