Recursion Theory

Recursion Theory
Author :
Publisher : Walter de Gruyter GmbH & Co KG
Total Pages : 409
Release :
ISBN-10 : 9783110381290
ISBN-13 : 311038129X
Rating : 4/5 (90 Downloads)

Book Synopsis Recursion Theory by : Chi Tat Chong

Download or read book Recursion Theory written by Chi Tat Chong and published by Walter de Gruyter GmbH & Co KG. This book was released on 2015-08-17 with total page 409 pages. Available in PDF, EPUB and Kindle. Book excerpt: This monograph presents recursion theory from a generalized point of view centered on the computational aspects of definability. 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 techniques and ideas from recursion theory, hyperarithmetic theory, and descriptive set theory. The emphasis is on the interplay between recursion theory and set theory, anchored on the notion of definability. The monograph covers a number of fundamental results in hyperarithmetic theory as well as some recent results on the structure theory of Turing and hyperdegrees. It also features a chapter on the applications of these investigations to higher randomness.


Recursion Theory Related Books

Recursion Theory and Complexity
Language: en
Pages: 248
Authors: Marat M. Arslanov
Categories: Mathematics
Type: BOOK - Published: 2014-10-10 - Publisher: Walter de Gruyter GmbH & Co KG

DOWNLOAD EBOOK

The series is devoted to the publication of high-level monographs on all areas of mathematical logic and its applications. It is addressed to advanced students
Recursion Theory
Language: en
Pages: 409
Authors: Chi Tat Chong
Categories: Mathematics
Type: BOOK - Published: 2015-08-17 - Publisher: Walter de Gruyter GmbH & Co KG

DOWNLOAD EBOOK

This monograph presents recursion theory from a generalized point of view centered on the computational aspects of definability. A major theme is the study of t
Computational Complexity
Language: en
Pages: 609
Authors: Sanjeev Arora
Categories: Computers
Type: BOOK - Published: 2009-04-20 - Publisher: Cambridge University Press

DOWNLOAD EBOOK

New and classical results in computational complexity, including interactive proofs, PCP, derandomization, and quantum computation. Ideal for graduate students.
Recursion Theory and Computational Complexity
Language: en
Pages: 228
Authors: G. Lolli
Categories: Mathematics
Type: BOOK - Published: 2011-06-17 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

S. Homer: Admissible recursion theory.- B.E. Jacobs: Computational complexity and recursion theory.- D. Normann: A survey of set recursion.- G.E. Sacks: Priorit
Complexity, Logic, and Recursion Theory
Language: en
Pages: 380
Authors: Andrea Sorbi
Categories: Mathematics
Type: BOOK - Published: 2019-05-07 - Publisher: CRC Press

DOWNLOAD EBOOK

"Integrates two classical approaches to computability. Offers detailed coverage of recent research at the interface of logic, computability theory, nd theoretic