Literatur
Carstens, H. G.: Über die Kompliziertheit numerischer Modelle. Dissertation, Münster, 1972.
Carstens, H. G.: Reducing hyperarithmetic sequences. Fundamenta Mathematicae LXXXIX, 5–11. (1975).
Jockusch, C. G.:Π 01 classes and boolean combinations of recursively enumerable sets. JSL39, 95–96 (1974).
Müller, G. H.: Nicht-Standardmodelle der Zahlentheorie. Math. Zeitschrift77, 414–438 (1961).
Rogers, H.: Theory of recursive functions and effective computability. New York, 1967.
Schwichtenberg, H.: Eine Klassifikation der mehrfach rekursiven Funktionen. Dissertation Münster 1968.
Shapiro: Review. JSL36 (1971).
Shoenfield, J. R.: Mathematical logic. Reading (Mass.) 1967.
Rights and permissions
About this article
Cite this article
Von Carstens, H.G. Δ 02 -Mengen. Arch math Logik 18, 55–65 (1977). https://doi.org/10.1007/BF02007257
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF02007257