A general tool for consistency results related to I 1

@inproceedings{Dimonte2015AGT,
  title={A general tool for consistency results related to I 1},
  author={Vincenzo Dimonte and Liuzhen Wu},
  year={2015}
}
In this paper we provide a general tool to prove the consistency of I1(λ) 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… CONTINUE READING