Ordinal Definability and Recursion Theory

Ordinal Definability and Recursion Theory
Author: Alexander S. Kechris
Publisher: Cambridge University Press
Total Pages: 552
Release: 2016-01-11
Genre: Mathematics
ISBN: 1107033403

The third in a series of four books presenting the seminal papers from the Caltech-UCLA 'Cabal Seminar'.

Classical Recursion Theory

Classical Recursion Theory
Author: P. Odifreddi
Publisher: Elsevier
Total Pages: 667
Release: 1992-02-04
Genre: Computers
ISBN: 9780080886596

1988 marked the first centenary of Recursion Theory, since Dedekind's 1888 paper on the nature of number. Now available in paperback, this book is both a comprehensive reference for the subject and a textbook starting from first principles. Among the subjects covered are: various equivalent approaches to effective computability and their relations with computers and programming languages; a discussion of Church's thesis; a modern solution to Post's problem; global properties of Turing degrees; and a complete algebraic characterization of many-one degrees. Included are a number of applications to logic (in particular Gödel's theorems) and to computer science, for which Recursion Theory provides the theoretical foundation.

Ordinal Definability and Recursion Theory: Volume 3

Ordinal Definability and Recursion Theory: Volume 3
Author: Alexander S. Kechris
Publisher: Cambridge University Press
Total Pages: 552
Release: 2016-01-11
Genre: Mathematics
ISBN: 1316586286

The proceedings of the Los Angeles Caltech-UCLA 'Cabal Seminar' were originally published in the 1970s and 1980s. Ordinal Definability and Recursion Theory is the third in a series of four books collecting the seminal papers from the original volumes together with extensive unpublished material, new papers on related topics and discussion of research developments since the publication of the original volumes. Focusing on the subjects of 'HOD and its Local Versions' (Part V) and 'Recursion Theory' (Part VI), each of the two sections is preceded by an introductory survey putting the papers into present context. These four volumes will be a necessary part of the book collection of every set theorist.

Higher Recursion Theory

Higher Recursion Theory
Author: Gerald E. Sacks
Publisher: Cambridge University Press
Total Pages: 362
Release: 2017-03-02
Genre: Mathematics
ISBN: 1316739465

Since their inception, the Perspectives in Logic and Lecture Notes in Logic series have published seminal works by leading logicians. Many of the original books in the series have been unavailable for years, but they are now in print once again. This volume, the second publication in the Perspectives in Logic series, is an almost self-contained introduction to higher recursion theory, in which the reader is only assumed to know the basics of classical recursion theory. The book is divided into four parts: hyperarithmetic sets, metarecursion, α-recursion, and E-recursion. This text is essential reading for all researchers in the field.

The Cabal Seminar

The Cabal Seminar
Author: Alexander S. Kechris
Publisher:
Total Pages: 552
Release: 2016
Genre: MATHEMATICS
ISBN: 9781316588086

The proceedings of the Los Angeles Caltech-UCLA 'Cabal Seminar' were originally published in the 1970s and 1980s. Ordinal Definability and Recursion Theory is the third in a series of four books collecting the seminal papers from the original volumes together with extensive unpublished material, new papers on related topics and discussion of research developments since the publication of the original volumes. Focusing on the subjects of 'HOD and its Local Versions' (Part V) and 'Recursion Theory' (Part VI), each of the two sections is preceded by an introductory survey putting the papers into present context. These four volumes will be a necessary part of the book collection of every set theorist.

Recursion Theory

Recursion Theory
Author: Chi Tat Chong
Publisher: Walter de Gruyter GmbH & Co KG
Total Pages: 322
Release: 2015-08-17
Genre: Mathematics
ISBN: 3110275643

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.

Handbook of Computability Theory

Handbook of Computability Theory
Author: E.R. Griffor
Publisher: Elsevier
Total Pages: 741
Release: 1999-10-01
Genre: Mathematics
ISBN: 0080533043

The chapters of this volume all have their own level of presentation. The topics have been chosen based on the active research interest associated with them. Since the interest in some topics is older than that in others, some presentations contain fundamental definitions and basic results while others relate very little of the elementary theory behind them and aim directly toward an exposition of advanced results. Presentations of the latter sort are in some cases restricted to a short survey of recent results (due to the complexity of the methods and proofs themselves). Hence the variation in level of presentation from chapter to chapter only reflects the conceptual situation itself. One example of this is the collective efforts to develop an acceptable theory of computation on the real numbers. The last two decades has seen at least two new definitions of effective operations on the real numbers.

Recursion-Theoretic Hierarchies

Recursion-Theoretic Hierarchies
Author: Peter G. Hinman
Publisher: Cambridge University Press
Total Pages: 493
Release: 2017-03-02
Genre: Mathematics
ISBN: 1107168244

The theory set out in this book results from the meeting of descriptive set theory and recursion theory.

Admissible Sets and Structures

Admissible Sets and Structures
Author: Jon Barwise
Publisher: Cambridge University Press
Total Pages: 409
Release: 2017-03-02
Genre: Mathematics
ISBN: 1107168333

This volume makes the basic facts about admissible sets accessible to logic students and specialists alike.