Large cardinals and iteration trees of height $\omega$

Si dimostra che se esiste un cardinale di Woodin nell'ammissibile successivo, allora ogni albero numerabile di altezza omega con un ramo infinito può essere realizzato come albero di iterazione, di modo che il limite diretto lungo il ramo prescelto sia ben fondato.