TY - CHAP AU - Woodin, W. Hugh ED - Baaz, Matthias PB - Cambridge University Press PY - 2011 T2 - Kurt Gödel and the Foundations of Mathematics: Horizons of Truth TI - The Transfinite Universe ER -