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.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11390/1109744
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 8
  • ???jsp.display-item.citation.isi??? 9
social impact