Higher Recursion Theory And Set Theory

Yue Yang

ISBN 10: 9819806577 / ISBN 13: 9789819806577

Published by World Scientific Publishing Co Pte Ltd, SG, 2025

About this Item

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.

Seller Inventory # LU-9789819806577

Bibliographic Details

• Title: Higher Recursion Theory And Set Theory
• Publisher: World Scientific Publishing Co Pte Ltd, SG
• Publication Date: 2025
• Language: English
• ISBN 10: 9819806577
• ISBN 13: 9789819806577
• Binding: Hardback
• Condition: New

About this title

Synopsis

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.