Author: Alexander S. Kechris
Publisher: Cambridge University Press
ISBN: 1107033403
Category : Mathematics
Languages : en
Pages : 552
Book Description
The third in a series of four books presenting the seminal papers from the Caltech-UCLA 'Cabal Seminar'.
Ordinal Definability and Recursion Theory
Author: Alexander S. Kechris
Publisher: Cambridge University Press
ISBN: 1107033403
Category : Mathematics
Languages : en
Pages : 552
Book Description
The third in a series of four books presenting the seminal papers from the Caltech-UCLA 'Cabal Seminar'.
Publisher: Cambridge University Press
ISBN: 1107033403
Category : Mathematics
Languages : en
Pages : 552
Book Description
The third in a series of four books presenting the seminal papers from the Caltech-UCLA 'Cabal Seminar'.
Classical Recursion Theory
Author: P. Odifreddi
Publisher: Elsevier
ISBN: 9780080886596
Category : Computers
Languages : en
Pages : 667
Book Description
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.
Publisher: Elsevier
ISBN: 9780080886596
Category : Computers
Languages : en
Pages : 667
Book Description
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
Author: Alexander S. Kechris
Publisher: Cambridge University Press
ISBN: 1316586286
Category : Mathematics
Languages : en
Pages : 552
Book Description
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.
Publisher: Cambridge University Press
ISBN: 1316586286
Category : Mathematics
Languages : en
Pages : 552
Book Description
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
Author: Gerald E. Sacks
Publisher: Cambridge University Press
ISBN: 1316739465
Category : Mathematics
Languages : en
Pages : 362
Book Description
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.
Publisher: Cambridge University Press
ISBN: 1316739465
Category : Mathematics
Languages : en
Pages : 362
Book Description
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.
Recursion Theory
Author: Chi Tat Chong
Publisher: Walter de Gruyter GmbH & Co KG
ISBN: 3110275643
Category : Mathematics
Languages : en
Pages : 322
Book Description
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.
Publisher: Walter de Gruyter GmbH & Co KG
ISBN: 3110275643
Category : Mathematics
Languages : en
Pages : 322
Book Description
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.
The Cabal Seminar
Author: Alexander S. Kechris
Publisher:
ISBN: 9781316588086
Category : MATHEMATICS
Languages : en
Pages : 552
Book Description
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.
Publisher:
ISBN: 9781316588086
Category : MATHEMATICS
Languages : en
Pages : 552
Book Description
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.
Handbook of Computability Theory
Author: E.R. Griffor
Publisher: Elsevier
ISBN: 0080533043
Category : Mathematics
Languages : en
Pages : 741
Book Description
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.
Publisher: Elsevier
ISBN: 0080533043
Category : Mathematics
Languages : en
Pages : 741
Book Description
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
Author: Peter G. Hinman
Publisher: Cambridge University Press
ISBN: 1107168244
Category : Mathematics
Languages : en
Pages : 493
Book Description
The theory set out in this book results from the meeting of descriptive set theory and recursion theory.
Publisher: Cambridge University Press
ISBN: 1107168244
Category : Mathematics
Languages : en
Pages : 493
Book Description
The theory set out in this book results from the meeting of descriptive set theory and recursion theory.
Admissible Sets and Structures
Author: Jon Barwise
Publisher: Cambridge University Press
ISBN: 1107168333
Category : Mathematics
Languages : en
Pages : 409
Book Description
This volume makes the basic facts about admissible sets accessible to logic students and specialists alike.
Publisher: Cambridge University Press
ISBN: 1107168333
Category : Mathematics
Languages : en
Pages : 409
Book Description
This volume makes the basic facts about admissible sets accessible to logic students and specialists alike.
Provability, Computability and Reflection
Author: Lev D. Beklemishev
Publisher: Elsevier
ISBN: 9780080955025
Category : Mathematics
Languages : en
Pages : 416
Book Description
Provability, Computability and Reflection
Publisher: Elsevier
ISBN: 9780080955025
Category : Mathematics
Languages : en
Pages : 416
Book Description
Provability, Computability and Reflection