Articoli correlati a Techniques of Admissible Recursion Theory: 1106

Techniques of Admissible Recursion Theory: 1106 - Brossura

Chong, C. T.

 
9783540139027: Techniques of Admissible Recursion Theory: 1106

Sinossi

The jump operator and 1-generic sets.- The ?-finite injury method.- Maximal sets.- Major subsets.- Hyperhypersimple sets.- Minimal pairs.- The density theorem.- Trees.- Set-theoretic methods.

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

Dalla quarta di copertina

The jump operator and 1-generic sets.- The ?-finite injury method.- Maximal sets.- Major subsets.- Hyperhypersimple sets.- Minimal pairs.- The density theorem.- Trees.- Set-theoretic methods.

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