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 book aims to introduce the state-of-the-art research of stability/performance analysis and optimal synthesis methods for fuzzy-model-based systems. A series of problems are solved with new approaches of design, analysis and synthesis of fuzzy systems, including stabilizatio…
"The contents in this volume are based on the program Sets and Computations that was held at the Institute for Mathematical Sciences, National University of Singapore from 30 March until 30 April 2015. This special collection reports on important and recent interactions between …
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…
