Forcing, iterated ultrapowers, and turing degrees
by Yang, Yue, Woodin, W. Hugh, Feng, Qi, Asian Initiative for Infinity (AII) Graduate Logic Summer School, Singapur, Asian Initiative for Infinity (AII) Graduate Logic Summer School, Singapur, Chong, Chi Tat, Slaman, Theodore Allen, Asian Initiative for Infinity (AII) Graduate Logic Summer School, Singapore
Notes On Forcing Axioms
by Yang, Yue, Woodin, W. H., Feng, Qi, Chong, C.-T, Slaman, T. A., Todorcevic, Stevo
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 Mapping Theorem or the Banac…
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 applications of set theory to C…
Proceedings of the 13th Asian Logic Conference
by Yu, Liang, Feng, Qi, Kim, Byunghan, Zhao, Xishun