We introduce a new method which combines Prikry forcing with an iteration between the Prikry points. Using our method we prove from large cardinals that it is consistent that the tree property holds at ℵₙ for n ≥ 2, is strong limit and .
@article{bwmeta1.element.bwnjournal-article-doi-10_4064-fm232-2-4, author = {Spencer Unger}, title = {Iterating along a Prikry sequence}, journal = {Fundamenta Mathematicae}, volume = {233}, year = {2016}, pages = {151-165}, zbl = {06498824}, language = {en}, url = {http://dml.mathdoc.fr/item/bwmeta1.element.bwnjournal-article-doi-10_4064-fm232-2-4} }
Spencer Unger. Iterating along a Prikry sequence. Fundamenta Mathematicae, Tome 233 (2016) pp. 151-165. http://gdmltest.u-ga.fr/item/bwmeta1.element.bwnjournal-article-doi-10_4064-fm232-2-4/