Zobrazeno 1 - 10
of 33
pro vyhledávání: '"Chi Tat Chong"'
Autor:
Chi Tat Chong, Liang Yu
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
This volume presents the lecture notes of short courses given by three leading experts in mathematical logic at the 2012 Asian Initiative for Infinity Logic Summer School. The major topics cover set-theoretic forcing, higher recursion theory, and app
In the mathematical practice, the Baire category method is a tool for establishing the existence of a rich array of generic structures. However, in mathematics, the Baire category method is also behind a number of fundamental results such as the Open
This volume is based on the talks given at the Workshop on Infinity and Truth held at the Institute for Mathematical Sciences, National University of Singapore, from 25 to 29 July 2011. The chapters cover topics in mathematical and philosophical logi
Autor:
Chi Tat Chong, Rodney G Downey, Qi Feng, Hirotaka Kikyo, Hiroakira Ono, Toshiyasu Arai, Jorg Brendle
The 10th Asian Logic Conference is part of the series of logic conferences inaugurated in Singapore in 1981. This meeting is held every three years and rotates among countries in the Asia-Pacific region, with interests in the broad area of logic, inc
Autor:
Chi Tat Chong, Qi Feng, Theodore A Slaman, W Hugh Woodin, Yue Yang, Sebastian A Terwijn, Guohua Wu
This volume is a collection of written versions of the talks given at the Workshop on Computational Prospects of Infinity, held at the Institute for Mathematical Sciences from 18 June to 15 August 2005. It consists of contributions from many of the l
This volume presents the written versions of the tutorial lectures given at the Workshop on Computational Prospects of Infinity, held from 18 June to 15 August 2005 at the Institute for Mathematical Sciences, National University of Singapore. It cons
This volume presents the lecture notes of short courses given by three leading experts in mathematical logic at the 2010 and 2011 Asian Initiative for Infinity Logic Summer Schools. The major topics covered set theory and recursion theory, with parti
This book is a brief and focused introduction to the reverse mathematics and computability theory of combinatorial principles, an area of research which has seen a particular surge of activity in the last few years. It provides an overview of some fu
Autor:
Liang Yu, Chi Tat Chong
Publikováno v:
Recursion Theory ISBN: 9783110275551
Recursion Theory: Computational Aspects of Definability
Recursion Theory: Computational Aspects of Definability
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::86d92aae0710cb85e6ed171a7ffb52dd
https://doi.org/10.1515/9783110275643-018
https://doi.org/10.1515/9783110275643-018