Some applications of Sargsyan's equiconsistency method
Tom 216 / 2012
Fundamenta Mathematicae 216 (2012), 207-222
MSC: 03E35, 03E45, 03E55.
DOI: 10.4064/fm216-3-2
Streszczenie
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.