Descripción del título
Recursion theory [computati...
This monograph presents recursion theory from a generalized and largely global point of view. A major theme is the study of the structures of degrees arising from two key notions of reducibility, the Turing degrees and the hyperdegrees, using ideas and techniques beyond those of classical recursion theory. These include structure theory, hyperarithmetic determinacy and rigidity, basis theorems, independence results on Turing degrees, as well as applications to higher randomness
Monografía
monografia Rebiun21175166 https://catalogo.rebiun.org/rebiun/record/Rebiun21175166 m o d cr mn||||||||| 150828t20152015gw ob 001 0 eng d 9783110275643 3110275643 9783110275650 3110275651 9783110275551 hardback) 3110275554 hardback) 311038129X 9783110381290 (EPUB) YDXCP eng YDXCP OCLCO IDEBK MERUC EBLCP OCLCF DEBBG OSU COO CCO LOA UAB K6U PIFAG FVL VGM OCLCQ DEGRU ZCU U3W COCUF NT UNAV 511.3/5 23 Chong, C.-T. Chi-Tat) 1949-) Recursion theory Recurso electrónico] computational aspects of definability Chi Tat Chong, Liang Yu Berlin Boston Walter de Gruyter GmbH & Co., KG [2015] Berlin Boston Berlin Boston Walter de Gruyter GmbH & Co., KG xiii, 306 p. xiii, 306 p. EBSCO Academic eBook Collection Complete De Gruyter series in logic and its applications 8 Incluye referencias bibliográficas (p. 295-301) e índice Part I: Fundamental theory -- Part II: The story of turing degrees -- Part III: Hyperarithmetic degrees and perfect set properly -- Part IV: Higher randomness theory This monograph presents recursion theory from a generalized and largely global point of view. A major theme is the study of the structures of degrees arising from two key notions of reducibility, the Turing degrees and the hyperdegrees, using ideas and techniques beyond those of classical recursion theory. These include structure theory, hyperarithmetic determinacy and rigidity, basis theorems, independence results on Turing degrees, as well as applications to higher randomness Forma de acceso: World Wide Web Yu, Liang (Professor of mathematics)