Techniques of Admissible Recursion Theory
Chong, Chi-Tat.
Techniques of Admissible Recursion Theory [electronic resource] / by Chi-Tat Chong. - XII, 220 p. online resource. - Lecture Notes in Mathematics, 1106 0075-8434 ; . - Lecture Notes in Mathematics, 1106 .
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.
9783540391210
10.1007/BFb0099164 doi
Logic, Symbolic and mathematical.
Mathematical Logic and Foundations.
QA8.9-10.3
511.3
Techniques of Admissible Recursion Theory [electronic resource] / by Chi-Tat Chong. - XII, 220 p. online resource. - Lecture Notes in Mathematics, 1106 0075-8434 ; . - Lecture Notes in Mathematics, 1106 .
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.
9783540391210
10.1007/BFb0099164 doi
Logic, Symbolic and mathematical.
Mathematical Logic and Foundations.
QA8.9-10.3
511.3