A direct proof of the equivalence between Brouwer's fan theorem and König's lemma with a uniqueness hypothesis

Journal of Universal Computer Science

Volumn 11, Issue 12, 2005, Pages 2086-2095

  Schwichtenberg, Helmut ^a  

^a UNIVERSITY OF MUNICH   (Germany)

Author keywords

Brouwer's fan theorem; K nig's lemma

Indexed keywords

EID: 30844464367     PISSN: 0958695X     EISSN: 09486968     Source Type: Journal    
DOI: None     Document Type: Article

References (8)

1. Josef Berger, Douglas Bridges, and Peter Schuster. The fan theorem and unique existence of maxima. Submitted, 2005.
2. Josef Berger and Hajime Ishihara. Brouwer's fan theorem and unique existence in constructive analysis. Math. Log. Quart., 51(4):360-364, 2005.
3. Ulrich Berger, Stefan Berghofer, Pierre Letouzey, and Helmut Schwichtenberg. Program extraction from normalization proofs. Studia Logica, To appear, 2005.
4. Errett Bishop. Foundations of Constructive Analysis. McGraw-Hill, New York, 1967.
5. Douglas Bridges and Fred Richman. Varieties of Constructive Mathematics. Cambridge University Press, Cambridge, 1987.
6. Hajime Ishihara. An omniscience principle, the König lemma and the Hahn-Banach theorem. Zeitschr. f. math. Logik und Grundlagen d. Math., 36:237-240, 1990.
7. Hajime Ishihara. Weak König lemma implies Brouwer's fan theorem: a direct proof. To appear: Notre Dame J. Formal Logic, 2005.
8. Erik Palmgren. Internalising modified readability in constructive type theory. Logical Methods in Computer Science, 1(2):1-7, 2005. http://www.lmcs-online.org/.