Brouwer's fan theorem as an axiom and as a contrast to Kleene's alternative (Q403410): Difference between revisions
From MaRDI portal
Created a new Item |
ReferenceBot (talk | contribs) Changed an Item |
||
(6 intermediate revisions by 5 users not shown) | |||
Property / review text | |||
The author has based his paper on a tailor-made formal system, called Basic Intuitionistic Mathematics (BIM), which resembles \textit{W. A. Howard} and \textit{G. Kreisel}'s system H [J. Symb. Log. 31, 325--358 (1966; Zbl 0156.00804)] and \textit{A. S. Troelstra} and \textit{D. van Dalen}'s system EL [Constructivism in mathematics. An introduction. Volume I. Amsterdam etc.: North-Holland (1988; Zbl 0653.03040); Constructivism in mathematics. An introduction. Volume II. Amsterdam etc.: North-Holland (1988; Zbl 0661.03047)]. On this basis, he gives numerous equivalents of Brouwer's fan theorem and of Kleene's alternative. Variants of Dini's theorem on the uniform convergence of sequences of continuous functions play a prominent role, as do adequate variations of `compact' and of its negation. | |||
Property / review text: The author has based his paper on a tailor-made formal system, called Basic Intuitionistic Mathematics (BIM), which resembles \textit{W. A. Howard} and \textit{G. Kreisel}'s system H [J. Symb. Log. 31, 325--358 (1966; Zbl 0156.00804)] and \textit{A. S. Troelstra} and \textit{D. van Dalen}'s system EL [Constructivism in mathematics. An introduction. Volume I. Amsterdam etc.: North-Holland (1988; Zbl 0653.03040); Constructivism in mathematics. An introduction. Volume II. Amsterdam etc.: North-Holland (1988; Zbl 0661.03047)]. On this basis, he gives numerous equivalents of Brouwer's fan theorem and of Kleene's alternative. Variants of Dini's theorem on the uniform convergence of sequences of continuous functions play a prominent role, as do adequate variations of `compact' and of its negation. / rank | |||
Normal rank | |||
Property / reviewed by | |||
Property / reviewed by: Peter M. Schuster / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 03F60 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 03F55 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 03B30 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 03F35 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 40A05 / rank | |||
Normal rank | |||
Property / zbMATH DE Number | |||
Property / zbMATH DE Number: 6335990 / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
Brouwer's fan theorem | |||
Property / zbMATH Keywords: Brouwer's fan theorem / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
Kleene's alternative | |||
Property / zbMATH Keywords: Kleene's alternative / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
intuitionistic reverse mathematics | |||
Property / zbMATH Keywords: intuitionistic reverse mathematics / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
compact | |||
Property / zbMATH Keywords: compact / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
positively non-compact | |||
Property / zbMATH Keywords: positively non-compact / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
closed-and-separable | |||
Property / zbMATH Keywords: closed-and-separable / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
Baire space | |||
Property / zbMATH Keywords: Baire space / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
real numbers | |||
Property / zbMATH Keywords: real numbers / rank | |||
Normal rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / Wikidata QID | |||
Property / Wikidata QID: Q114018316 / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W1979862983 / rank | |||
Normal rank | |||
Property / arXiv ID | |||
Property / arXiv ID: 1106.2738 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3679172 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3407137 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Classifying Dini's theorem / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Dini’s Theorem in the Light of Reverse Mathematics / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5573965 / 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: Fixed point theory in weak second-order arithmetic / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Points and Spaces / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4068683 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4133603 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4492739 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5764367 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5329144 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Transfinite induction and bar induction of types zero and one, and the role of continuity in intuitionistic analysis / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5718575 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A uniformly continuous function on [0,1] that is everywhere different from its infimum / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5343325 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5762903 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The Borel Hierarchy Theorem from Brouwer's intuitionistic perspective / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Equivalents of the (weak) fan theorem / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Some axioms for constructive analysis / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3567851 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5608010 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4220572 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Constructivism in mathematics. An introduction. Volume I / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3313858 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4941995 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4552754 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3643322 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: An intuitionistic proof of Kruskal's theorem / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Two simple sets that are not positively Borel / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Brouwer's fan theorem as an axiom and as a contrast to Kleene's alternative / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3620032 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Brouwer’s Approximate Fixed-Point Theorem is Equivalent to Brouwer’s Fan Theorem / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On the foundations of constructive mathematics -- especially in relation to the theory of continuous functions / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
Latest revision as of 23:50, 8 July 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Brouwer's fan theorem as an axiom and as a contrast to Kleene's alternative |
scientific article |
Statements
Brouwer's fan theorem as an axiom and as a contrast to Kleene's alternative (English)
0 references
29 August 2014
0 references
The author has based his paper on a tailor-made formal system, called Basic Intuitionistic Mathematics (BIM), which resembles \textit{W. A. Howard} and \textit{G. Kreisel}'s system H [J. Symb. Log. 31, 325--358 (1966; Zbl 0156.00804)] and \textit{A. S. Troelstra} and \textit{D. van Dalen}'s system EL [Constructivism in mathematics. An introduction. Volume I. Amsterdam etc.: North-Holland (1988; Zbl 0653.03040); Constructivism in mathematics. An introduction. Volume II. Amsterdam etc.: North-Holland (1988; Zbl 0661.03047)]. On this basis, he gives numerous equivalents of Brouwer's fan theorem and of Kleene's alternative. Variants of Dini's theorem on the uniform convergence of sequences of continuous functions play a prominent role, as do adequate variations of `compact' and of its negation.
0 references
Brouwer's fan theorem
0 references
Kleene's alternative
0 references
intuitionistic reverse mathematics
0 references
compact
0 references
positively non-compact
0 references
closed-and-separable
0 references
Baire space
0 references
real numbers
0 references
0 references