ENGLISH

Recursion on the Countable Functionals

By Dag Normann (auth.)

Book information

Publisher
Springer-Verlag Berlin Heidelberg
Year
1980
ISBN
9783540100195, 9783540381709
Language
english
Format
PDF
Filesize
4 MB (4168539 bytes)
Series
Lecture Notes in Mathematics 811
Edition
1
Pages
198\198
Time added
2020-08-30 06:11:09
Mathematical Logic and Foundations

Description

The maximal type structure....Pages 1-22 The countable functionals....Pages 23-48 Ct(n) as a topological space....Pages 49-79 Computability vs recursion....Pages 80-115 The computable structure on Ct(k)....Pages 116-144 Sections....Pages 145-172 Some further results and topics....Pages 173-185

Similar books