Techniques of Admissible Recursion Theory
PAYBACK Punkte
20 °P sammeln!
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.
Andere Kunden interessierten sich für
