Articoli correlati a Recursion on the Countable Functionals: 811

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.