Another method to add a closed unbounded set of former regulars
arXiv:2206.05693
Abstract
A club consisting of former regulars is added to an inaccessible cardinal, without changing cofinalities outside it. The initial assumption is optimal. A variation of the Radin forcing without a top measurable cardinal is introduced for this.
arXiv comment19 pages