We give a general method of forcing over categories as a category-theoretic universal construction which subsumes, on one hand, all known instances of forcing in set theory, Boolean and Heyting valued models and sheaf interpretations for both classical and intuitionistic formal …
"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 particular emphasis on forcing, i…
"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 particular emphasis on forcing, i…
The lecture notes in mathematical logic from the 2010 and 2011 Asian Initiative for Infinity Logic Summer Schools.
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
"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 particular emphasis on forcing, i…
The lecture notes in mathematical logic from the 2010 and 2011 Asian Initiative for Infinity Logic Summer Schools.
