AuthorChong, Chi-Tat. author
TitleTechniques of Admissible Recursion Theory [electronic resource] / by Chi-Tat Chong
ImprintBerlin, Heidelberg : Springer Berlin Heidelberg, 1984
Connect tohttp://dx.doi.org/10.1007/BFb0099164
Descript XII, 220 p. online resource

CONTENT

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


SUBJECT

  1. Mathematics
  2. Mathematical logic
  3. Mathematics
  4. Mathematical Logic and Foundations