Type: Article
Publication Date: 1999-03-01
Citations: 13
DOI: https://doi.org/10.2307/2586746
Abstract A method of iteration of Prikry type forcing notions as well as a forcing for adding clubs is presented. It is applied to construct a model with a measurable cardinal containing a club of former regulars, starting with ο ( κ ) = κ + 1. On the other hand, it is shown that the strength of above is at least ο ( κ ) = κ .