Building iteration trees

si dimostra, sotto l'ipotesi di cardinali di Woodin, che ogni albero con un ramo cofinale può essere realizzato come albero di iterazione in modo che il limite diretto lungo il ramo cofinale sia ben fondato.