The Weak Koenig Lemma, Brouwer's Fan Theorem, De Morgan's Law, and Dependent Choice

Josef Berger, Hajime Ishihara, Peter Schuster. The Weak Koenig Lemma, Brouwer's Fan Theorem, De Morgan's Law, and Dependent Choice. Reports on Mathematical Logic, 47:63-86, 2012. [doi]

Abstract

Abstract is missing.