A general tool for consistency results related to I1

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...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:European journal of mathematics 2016-06, Vol.2 (2), p.474-492
Hauptverfasser: Dimonte, Vincenzo, Wu, Liuzhen
Format: Artikel
Sprache:eng
Schlagworte:
Online-Zugang:Volltext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Zusammenfassung: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 λ + + .
ISSN:2199-675X
2199-6768
DOI:10.1007/s40879-015-0092-y