Zusammenfassung
Das Ziel der Arbeit ist der Beweis des folgenden Satzes: Es gibt eine rekursive reelle Funktion, die ihr Maximum im Einheitsintervall in keiner rekursiven reellen Zahl annimmt1).
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
Bibliography
A. Grzegorczyk, Computable functional. Fund. Math. 42 (1955), 168–202.
S. C. Kleene, A symmetric form of Gödel’s theorem, Indag. Math. 12 (1950), 244–246.
S. C. Kleene, Proceedings Intern. Congress of Math. 1 (1950), 679–685.
D. Lacombe, Extension de la notion de fonction récursive aux fonctions d’une our plusieurs variables. Comptes Rendus. 240 (1955), 2478–2480
D. Lacombe, Extension de la notion de fonction récursive aux fonctions d’une our plusieurs variables. Comptes Rendus. 241 (1955), 13–14
D. Lacombe, Extension de la notion de fonction récursive aux fonctions d’une our plusieurs variables. Comptes Rendus. 241 (1955), 151–153.
E. Specker, Nicht konstruktiv beweisbare Sätze der Analysis. J. Symb. Log. 14 (1949), 145–148.
I. D. Zaspavskij, Oprovéženié nékotoryh téorem klassicéskogo analiza v konstruktivnom analizé. Uspéhi Mat. Nauk. 10 (1955), 209–210.
References
H. Abels, Enden von Räumen mit eigentlichen Transformationsgruppen, Comment. Math. Helv. 47 (1972), 457–473.
H. Abels, Specker-Kompaktifizierungen von lokal kompakten topologischen Gruppen, Math. Z. 735 (1974), 325–361.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1990 Birkhäuser Verlag Basel
About this chapter
Cite this chapter
Specker, E. (1990). Der Satz vom Maximum in der Rekursiven Analysis. In: Jäger, G., Läuchli, H., Scarpellini, B., Strassen, V. (eds) Ernst Specker Selecta. Birkhäuser, Basel. https://doi.org/10.1007/978-3-0348-9259-9_12
Download citation
DOI: https://doi.org/10.1007/978-3-0348-9259-9_12
Published:
Publisher Name: Birkhäuser, Basel
Print ISBN: 978-3-0348-9966-6
Online ISBN: 978-3-0348-9259-9
eBook Packages: Springer Book Archive