Higher Recursion Theory
Download Higher Recursion Theory PDF/ePub or read online books in Mobi eBooks. Click Download or Read Online button to get Higher Recursion Theory book now. This website allows unlimited access to, at the time of writing, more than 1.5 million titles, including hundreds of thousands of titles in various foreign languages.
Higher Recursion Theory
Author: Gerald E. Sacks
language: en
Publisher: Cambridge University Press
Release Date: 2017-03-02
This almost self-contained introduction to higher recursion theory is essential reading for all researchers in the field.
Higher Recursion Theory
Author: Gerald E. Sacks
language: en
Publisher: Cambridge University Press
Release Date: 2017-03-02
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.
Higher Recursion Theory And Set Theory
This volume celebrates the research contributions of Professors Theodore A Slaman and W Hugh Woodin, marking their distinguished careers in higher recursion theory and set theory as they approached the milestone of their 65th birthdays in 2019. It originates from the Institute for Mathematical Sciences program, Higher Recursion Theory and Set Theory, held at the National University of Singapore (May 20-June 14, 2019).The program explored cutting-edge developments in higher recursion theory, set theory, and their intricate interconnections. Topics discussed during the workshop included Martin's conjecture, higher randomness, the HOD conjecture, descriptive inner model theory, and the Ultimate-L program.This volume presents 15 peer-reviewed contributions by leading experts in the field, offering a comprehensive overview of recent advances in higher recursion theory and set theory, with a focus on their dynamic interactions.