We introduce the notion of -system of filters, generalizing the standard definitions of both extenders and towers of normal ideals. This provides a framework to develop the theory of extenders and towers in a more general and concise way. In this framework we investigate the topic of definability of generic large cardinals properties.
GENERIC LARGE CARDINALS and SYSTEMS of FILTERS
Audrito G.;Steila S.
2017-01-01
Abstract
We introduce the notion of -system of filters, generalizing the standard definitions of both extenders and towers of normal ideals. This provides a framework to develop the theory of extenders and towers in a more general and concise way. In this framework we investigate the topic of definability of generic large cardinals properties.File in questo prodotto:
File | Dimensione | Formato | |
---|---|---|---|
13.pdf
Accesso riservato
Descrizione: Articolo principale
Tipo di file:
PDF EDITORIALE
Dimensione
400.17 kB
Formato
Adobe PDF
|
400.17 kB | Adobe PDF | Visualizza/Apri Richiedi una copia |
1511.05326.pdf
Accesso aperto
Tipo di file:
POSTPRINT (VERSIONE FINALE DELL’AUTORE)
Dimensione
383.03 kB
Formato
Adobe PDF
|
383.03 kB | Adobe PDF | Visualizza/Apri |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.