Die Nichtkonstruktivität des Brouwerschen Fixpunktsatzes-Reference-Cited by-同舟云学术

Die Nichtkonstruktivität des Brouwerschen Fixpunktsatzes

Published:1985-12 Issue:1 Volume:25 Page:183-188
ISSN:0933-5846
Container-title:Archiv für Mathematische Logik und Grundlagenforschung
language:de
Short-container-title:Arch math Logik

Author:

Baigger Günter

Publisher

Springer Science and Business Media LLC

Subject

Logic,Philosophy

Link

http://link.springer.com/content/pdf/10.1007/BF02007567.pdf

Reference4 articles.

1. Baigger, G.: Die Nichtkonstruktivität des Brouwerschen Fixpunktsatzes. Zulassungsarbeit vom Februar 1974.

2. Orevkov, V.P.: A constructiv mapping of a square onto itself displacing every constructive point. Soviet Mathematics, Vol. IV, 1963, 4–6 (Translation of Doklady Akademie Nauk SSSR. Publ. by the Am. Math. Soc.).

3. Specker, E.: Nicht konstruktiv beweisbare Sätze der Analysis. J. Symb. Logic,14, 145–158 (1949).

4. Specker, E.: Der Satz vom Maximum in der Rekursiven Analysis. Proc. Coll. held at Amsterdam, 1957, pp. 254–265, ed. by A. Heyting, 1959.

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

1. Connected choice and the Brouwer fixed point theorem;Journal of Mathematical Logic;2019-06

2. The Brouwer Fixed Point Theorem Revisited;Pursuit of the Universal;2016

3. Computability and Analysis, a Historical Approach;Pursuit of the Universal;2016

4. Quasi-decidability of a Fragment of the First-Order Theory of Real Numbers;Journal of Automated Reasoning;2015-10-01

5. On the Computational Content of the Brouwer Fixed Point Theorem;Lecture Notes in Computer Science;2012