Weak König's lemma implies Brouwer's fan theorem: a direct proof
type: Item
instance of: scholarly article
title: Weak König's lemma implies Brouwer's fan theorem: a direct proof
zbMATH Open document ID: 1111.03052
author: Hajime Ishihara
published in: Notre Dame Journal of Formal Logic
publication date: 2007-02-15T00:00:00Z
Mathematics Subject Classification ID: 03F65
Mathematics Subject Classification ID: 03B30
zbMATH DE Number: 5127271
zbMATH Keywords: constructive mathematics
MaRDI profile type: Publication
full work available at URL: https://doi.org/10.1305/ndjfl/1153858649
OpenAlex ID: W2062677359
Wikidata QID: Q125026653
DOI: 10.1305/NDJFL/1153858649
Recommended article: An extension of the equivalence between Brouwer's fan theorem and weak König's lemma with a uniqueness hypothesis
Recommended article: Q5310891
Recommended article: König's lemma, weak König's lemma, and the decidable fan theorem
Recommended article: Aligning the weak König lemma, the uniform continuity theorem, and Brouwer's fan theorem
Recommended article: The Weak Kőnig Lemma, Brouwer’s Fan Theorem, De Morgan’s Law, and Dependent Choice
Recommended article: On uniform weak König's lemma
Recommended article: Equivalents of the (weak) fan theorem
Recommended article: The weak König lemma and uniform continuity
Recommended article: Separation and Weak König's Lemma
Recommended article: Weak König's lemma implies the uniform continuity theorem
description: scientific article; zbMATH DE number 5127271