ENGLISH

Recursion theory. Computational aspects of definability

By Liang , Chong , Chi-Tat; Yu

Book information

Publisher
Walter de Gruyter GmbH & Co
Year
2015
ISBN
978-3-11-027555-1, 3110275554, 978-3-11-027565-0, 3110275651
Language
english
Format
PDF
Filesize
2 MB (1637058 bytes)
Series
De Gruyter series in logic and its applications 8
Pages
306\319
Topic
Mathematics Logic
Library
kolxo3
Time added
2019-04-25 18:00:00
Recursion theory.;Rekursionstheorie

Description

Content: Preliminaries 1. 11-uniformization and Applications to Turing Degrees 2. Rigidity of Hyperdegrees 3. Basis Theorems and 11-Hyperarithmetic 4. The Jump Operator 5. Independence Results in the Turing Degrees 6. Higher Randomness References Index

Similar books