On the Origin and Development of Brouwer's Concept of Choice Sequence-Reference-Cited by-同舟云学术

On the Origin and Development of Brouwer's Concept of Choice Sequence

Published:1982 Issue: Volume: Page:465-486
ISSN:0049-237X
Container-title:The L. E. J. Brouwer Centenary Symposium, Proceedings of the Conference held in Noordwijkerhout
language:
Short-container-title:

Author:

Troelstra A.S.

Publisher

Elsevier

Reference68 articles.

1. The numbering of Brouwer's publications corresponds with the numbering of the Collected Works (Brouwer 1975). Page numbers of the collected works are preceded by “CW”, e.g. “CW 73–75” refers to pages 73–75 in the Collected Works. Similarly Œ refers to Borel 1972

2. Foundations of constructive analysis;Bishop,1967

3. Het intuïtionisme bij de Franse wiskundigen;Bockstaele;Verh. Koninkl. Acad. Wetensch. België,1949

4. Leçons sur la théorie des fonctions;Borel,1898

5. Quelques remarques sur les principes de la théorie des ensembles;Borel;Math. Ann.,1904

Cited by 13 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Enchanted and Actual Spaces;Lecture Notes in Morphogenesis;2024

2. Brouwer’s Weak Counterexamples and the Creative Subject: A Critical Survey;Journal of Philosophical Logic;2020-05-09

3. Fenomenología e intuicionismo matemático. Aspectos nodales de la relación entre Husserl, Brouwer y Heyting;Mutatis Mutandis: Revista Internacional de Filosofía;2018-12-26

4. The Creating Subject, the Brouwer–Kripke Schema, and infinite proofs;Indagationes Mathematicae;2018-12

5. THE PREHISTORY OF THE SUBSYSTEMS OF SECOND-ORDER ARITHMETIC;The Review of Symbolic Logic;2017-02-20