TY - JOUR AU - Aschenbrenner, Matthias AU - Berenstein, Alexander AU - Caicedo, Andres AU - Mileti, Joseph AU - Poonen, Bjorn AU - Woodin, W. Hugh AU - Kanamori, Akihiro IS - 3 JA - Bulletin of Symbolic Logic PY - 2005 TI - Atlanta Marriott Marquis, Atlanta, Georgia January 7–8, 2005 VL - 11 ER -