TY - JOUR AU - Millar, Jessica AU - Sacks, Gerald E. IS - 3 JA - Annals of Pure and Applied Logic PB - Elsevier PY - 2008 TI - Atomic models higher up VL - 155 ER -