Zusammenfassung
Die in § 27.1 eingeführten arithmetischen Prädikate sind eine Verallgemeinerung der rekursiven Prädikate. Man kann die arithmetischen Prädikate in (nicht elementfremde) Klassen einteilen (§ 29), wobei die kleinste Klasse die der rekursiven Prädikate ist und eine weitere Klasse die der rekursiv aufzählbaren Prädikate, welche wir in § 28 besprechen werden.
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.
Literatur
Specker, E.: Nicht konstruktiv beweisbare Sätze der Analysis. J. symbolic Logic 14, 145–158 (1949).
Myhill, J.: Criteria of Constructibility for Real Numbers. J. symbolic Logic 18, 7–10 (1953).
Grzegorczyk, A.: On the Definition of Computable Functionals. Fundam. Math. 42, 232–239 (1955).
Klaua, D.: Berechenbare Analysis. Z. math. Logik 2, 265–303 (1956).
Klaua, D.: Die Präzisierung des Berechenbarkeitsbegriffes in der Analysis mit Hilfe rationaler Funktionale. Z. math. Logik 5, 33–96 (1959).
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 1961 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Hermes, H. (1961). Verschiedenes. In: Aufzählbarkeit, Entscheidbarkeit, Berechenbarkeit. Die Grundlehren der Mathematischen Wissenschaften, vol 109. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-662-01462-2_7
Download citation
DOI: https://doi.org/10.1007/978-3-662-01462-2_7
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-662-01463-9
Online ISBN: 978-3-662-01462-2
eBook Packages: Springer Book Archive