Arthur W. Apter: On a problem of Woodin. Arch. Math. Log. 39(4): 253-259 (2000)