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...
Gespeichert in:
Veröffentlicht in: | European journal of mathematics 2016-06, Vol.2 (2), p.474-492 |
---|---|
Hauptverfasser: | , |
Format: | Artikel |
Sprache: | eng |
Schlagworte: | |
Online-Zugang: | Volltext |
Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
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 |