We apply techniques due to Sargsyan to reduce the consistency strength of the assumptions used to establish an indestructibility theorem for supercompactness. We then show how these and additional techniques due to Sargsyan may be employed to establish an equiconsistency for a related indestructibility theorem for strongness.
@article{bwmeta1.element.bwnjournal-article-doi-10_4064-fm216-3-2,
author = {Arthur W. Apter},
title = {Some applications of Sargsyan's equiconsistency method},
journal = {Fundamenta Mathematicae},
volume = {219},
year = {2012},
pages = {207-222},
zbl = {1258.03066},
language = {en},
url = {http://dml.mathdoc.fr/item/bwmeta1.element.bwnjournal-article-doi-10_4064-fm216-3-2}
}
Arthur W. Apter. Some applications of Sargsyan's equiconsistency method. Fundamenta Mathematicae, Tome 219 (2012) pp. 207-222. http://gdmltest.u-ga.fr/item/bwmeta1.element.bwnjournal-article-doi-10_4064-fm216-3-2/