Recursion on the Countable Functionals
PAYBACK Punkte
10 °P sammeln!
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.
