Literatur
Baigger, G.: Die Nichtkonstruktivität des Brouwerschen Fixpunktsatzes. Zulassungsarbeit vom Februar 1974.
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.).
Specker, E.: Nicht konstruktiv beweisbare Sätze der Analysis. J. Symb. Logic,14, 145–158 (1949).
Specker, E.: Der Satz vom Maximum in der Rekursiven Analysis. Proc. Coll. held at Amsterdam, 1957, pp. 254–265, ed. by A. Heyting, 1959.
Author information
Authors and Affiliations
Additional information
Die vorliegende Note beruht auf den Ergebnissen der gleichnamigen Zulassungsarbeit [11]. Sie wurde von K. Jacobs, Erlangen, und C.-P. Schnorr, Frankfurt, betreut; E. Specker, Zürich, hat die Veröffentlichung der Resultate von [1] angeregt. Ihnen sei an dieser Stelle gedankt.
Rights and permissions
About this article
Cite this article
Baigger, G. Die Nichtkonstruktivität des Brouwerschen Fixpunktsatzes. Arch math Logik 25, 183–188 (1985). https://doi.org/10.1007/BF02007567
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF02007567