Recursion on the Countable Functionals
Normann, Dag.
Recursion on the Countable Functionals [electronic resource] / by Dag Normann. - X, 198 p. online resource. - Lecture Notes in Mathematics, 811 0075-8434 ; . - Lecture Notes in Mathematics, 811 .
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.
9783540381709
10.1007/BFb0098600 doi
Logic, Symbolic and mathematical.
Mathematical Logic and Foundations.
QA8.9-10.3
511.3
Recursion on the Countable Functionals [electronic resource] / by Dag Normann. - X, 198 p. online resource. - Lecture Notes in Mathematics, 811 0075-8434 ; . - Lecture Notes in Mathematics, 811 .
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.
9783540381709
10.1007/BFb0098600 doi
Logic, Symbolic and mathematical.
Mathematical Logic and Foundations.
QA8.9-10.3
511.3