Techniques of Admissible Recursion Theory: 1106 - Brossura

Chong, Chi-Tat

 
9783540139027: Techniques of Admissible Recursion Theory: 1106

Contenuti

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.

Altre edizioni note dello stesso titolo

9780387139029: Techniques of Admissible Recursion Theory

Edizione in evidenza

ISBN 10:  0387139028 ISBN 13:  9780387139029
Brossura