Recursion on the Countable Functionals: 811 - Brossura

Normann, Dag

 
9783540100195: Recursion on the Countable Functionals: 811

Contenuti

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.

Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.

Altre edizioni note dello stesso titolo

9780387100197: Recursion on the countable functionals (Lecture notes in mathematics ; 811) b...

Edizione in evidenza

ISBN 10:  0387100199 ISBN 13:  9780387100197
Brossura