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.
Inhaltsverzeichnis
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.