Aligning the weak König lemma, the uniform continuity theorem, and Brouwer's fan theorem (Q424539)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 6040326
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Aligning the weak König lemma, the uniform continuity theorem, and Brouwer's fan theorem |
scientific article; zbMATH DE number 6040326 |
Statements
Aligning the weak König lemma, the uniform continuity theorem, and Brouwer's fan theorem (English)
0 references
1 June 2012
0 references
Bishop-style constructive mathematics
0 references
weak König's lemma
0 references
uniform continuity theorem
0 references
fan theorem
0 references
Let WKL be weak König's lemma, UC be the uniform continuity theorem, i.e., the statement that each continuous function \(f:[0,1]^\mathbb{N}\to \mathbb{N}\) is uniformly continuous, and FAN be Brouwer's fan theorem. Classically WKL, UC and FAN are equivalent. FAN is the contraposition of WKL and is the intuitionistic counterpart of WKL.NEWLINENEWLINEIn this paper, these principles are now considered in Bishop-style constructive mathematics (BISH) and it is show that BISH proves \(\mathrm{WKL}\to \mathrm{UC} \to \mathrm{FAN}\).
0 references
0.8827034831047058
0 references
0.8458327054977417
0 references
0.8410833477973938
0 references
0.8390852808952332
0 references
0.8241398334503174
0 references
