Book Description
The third in a series of four books presenting the seminal papers from the Caltech-UCLA 'Cabal Seminar'.
Author : Alexander S. Kechris
Publisher : Cambridge University Press
Page : 552 pages
File Size : 27,47 MB
Release : 2016-01-11
Category : Mathematics
ISBN : 1107033403
The third in a series of four books presenting the seminal papers from the Caltech-UCLA 'Cabal Seminar'.
Author : P. Odifreddi
Publisher : Elsevier
Page : 667 pages
File Size : 10,94 MB
Release : 1992-02-04
Category : 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.
Author : Alexander S. Kechris
Publisher : Cambridge University Press
Page : 552 pages
File Size : 35,18 MB
Release : 2016-01-11
Category : 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.
Author : Gerald E. Sacks
Publisher : Cambridge University Press
Page : 362 pages
File Size : 28,90 MB
Release : 2017-03-02
Category : 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.
Author : Alexander S. Kechris
Publisher :
Page : 552 pages
File Size : 42,11 MB
Release : 2016
Category : 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.
Author : Chi Tat Chong
Publisher : Walter de Gruyter GmbH & Co KG
Page : 322 pages
File Size : 39,68 MB
Release : 2015-08-17
Category : 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.
Author : E.R. Griffor
Publisher : Elsevier
Page : 741 pages
File Size : 42,96 MB
Release : 1999-10-01
Category : 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.
Author : Peter G. Hinman
Publisher : Cambridge University Press
Page : 493 pages
File Size : 19,71 MB
Release : 2017-03-02
Category : Mathematics
ISBN : 1107168244
The theory set out in this book results from the meeting of descriptive set theory and recursion theory.
Author : Jon Barwise
Publisher : Cambridge University Press
Page : 409 pages
File Size : 24,12 MB
Release : 2017-03-02
Category : Mathematics
ISBN : 1107168333
This volume makes the basic facts about admissible sets accessible to logic students and specialists alike.
Author : Lev D. Beklemishev
Publisher : Elsevier
Page : 416 pages
File Size : 40,62 MB
Release : 2000-04-01
Category : Mathematics
ISBN : 9780080955025
Provability, Computability and Reflection