TY - JOUR AU - Baumgartner, James E. AU - Laver, Richard IS - 3 JA - Annals of Mathematical Logic PB - Association for Symbolic Logic PY - 1979 TI - Iterated perfect-set forcing VL - 17 ER -