> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp: E-Book Titel: Recursion on the Countable Functionals Beteiligte: Normann, Dag [VerfasserIn] Erschienen: Berlin, Heidelberg: Springer Berlin Heidelberg, 1980 Erschienen in: Lecture notes in mathematics ; 811 Bücher Mathematics and Statistics Umfang: Online-Ressource (X, 198 p, online resource) Sprache: Englisch DOI: 10.1007/BFb0098600 ISBN: 9783540381709; 9783540100195 Identifikator: RVK-Notation: SI 850 : Lecture notes in mathematics Schlagwörter: Rekursionstheorie > Berechenbare Funktion Entstehung: Anmerkungen: Beschreibung: The maximal type structure -- The countable functionals -- Ct(n) as a topological space -- Computability vs recursion -- The computable structure on Ct(k) -- Sections -- Some further results and topics.