Aligning the weak König lemma, the uniform continuity theorem, and Brouwer's fan theorem (Q424539): Difference between revisions
From MaRDI portal
Set profile property. |
ReferenceBot (talk | contribs) Changed an Item |
||
(2 intermediate revisions by 2 users not shown) | |||
Property / Wikidata QID | |||
Property / Wikidata QID: Q124801247 / rank | |||
Normal rank | |||
Property / full work available at URL | |||
Property / full work available at URL: https://doi.org/10.1016/j.apal.2011.12.021 / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2088132992 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: New Computational Paradigms / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The weak König lemma and uniform continuity / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5591514 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3803111 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3754620 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5718575 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Weak König's lemma implies Brouwer's fan theorem: a direct proof / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4793025 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3395521 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Constructivism in mathematics. An introduction. Volume II / rank | |||
Normal rank |
Latest revision as of 07:40, 5 July 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Aligning the weak König lemma, the uniform continuity theorem, and Brouwer's fan theorem |
scientific article |
Statements
Aligning the weak König lemma, the uniform continuity theorem, and Brouwer's fan theorem (English)
0 references
1 June 2012
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. In 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
Bishop-style constructive mathematics
0 references
weak König's lemma
0 references
uniform continuity theorem
0 references
fan theorem
0 references