In this paper we provide a general tool to prove the consistency of with various combinatorial properties at λ typical at settings with 2λ>λ+, that does not need a profound knowledge of the forcing notions involved. Examples of such properties are the first failure of GCH, a very good scale and the negation of the approachability property, or the tree property at λ+ and λ++.
A general tool for consistency results related to I1
DIMONTE, Vincenzo;
2016-01-01
Abstract
In this paper we provide a general tool to prove the consistency of with various combinatorial properties at λ typical at settings with 2λ>λ+, that does not need a profound knowledge of the forcing notions involved. Examples of such properties are the first failure of GCH, a very good scale and the negation of the approachability property, or the tree property at λ+ and λ++.File in questo prodotto:
File | Dimensione | Formato | |
---|---|---|---|
GeneralTool second draft.pdf
accesso aperto
Descrizione: Articolo principale
Tipologia:
Documento in Post-print
Licenza:
Creative commons
Dimensione
349.58 kB
Formato
Adobe PDF
|
349.58 kB | Adobe PDF | Visualizza/Apri |
GeneralTool.pdf
accesso aperto
Tipologia:
Documento in Pre-print
Licenza:
Creative commons
Dimensione
393.09 kB
Formato
Adobe PDF
|
393.09 kB | Adobe PDF | Visualizza/Apri |
Dimonte-Wu2016_Article_AGeneralToolForConsistencyResu.pdf
non disponibili
Descrizione: Articolo principale
Tipologia:
Versione Editoriale (PDF)
Licenza:
Non pubblico
Dimensione
500.84 kB
Formato
Adobe PDF
|
500.84 kB | Adobe PDF | Visualizza/Apri Richiedi una copia |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.