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.
Building iteration trees
ANDRETTA, Alessandro
1991-01-01
Abstract
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.
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.
