Si dimostra un risultato di iterabilità che consente di costruire un `background-certified core model' nella regione dei cardinali `AD_R'. Come corollario ne consegue che PFA + un cardinale misurabile ha una consistenza di almeno AD_R.
The domestic levels of $K^c$ are iterable
ANDRETTA, Alessandro;
2001-01-01
Abstract
Si dimostra un risultato di iterabilità che consente di costruire un `background-certified core model' nella regione dei cardinali `AD_R'. Come corollario ne consegue che PFA + un cardinale misurabile ha una consistenza di almeno AD_R.
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.
