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.
Large cardinals and iteration trees of height $\omega$
ANDRETTA, Alessandro
1991-01-01
Abstract
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.
File in questo prodotto:
Non ci sono file associati a questo prodotto.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
