Eisworth, T. On iterated forcing for successors of regular cardinals. Fund. Math. 179, 249–266 (2003). Publisher's Version Last updated on 11/15/2023
