Some applications of Sargsyan's equiconsistency method
Fundamenta Mathematicae, Tome 216 (2012) no. 3, pp. 207-222
Voir la notice de l'article provenant de la source Institute of Mathematics Polish Academy of Sciences
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.
Keywords:
apply techniques due sargsyan reduce consistency strength assumptions establish indestructibility theorem supercompactness these additional techniques due sargsyan may employed establish equiconsistency related indestructibility theorem strongness
Affiliations des auteurs :
Arthur W. Apter 1
@article{10_4064_fm216_3_2,
author = {Arthur W. Apter},
title = {Some applications of {Sargsyan's} equiconsistency method},
journal = {Fundamenta Mathematicae},
pages = {207--222},
publisher = {mathdoc},
volume = {216},
number = {3},
year = {2012},
doi = {10.4064/fm216-3-2},
language = {en},
url = {http://geodesic.mathdoc.fr/articles/10.4064/fm216-3-2/}
}
Arthur W. Apter. Some applications of Sargsyan's equiconsistency method. Fundamenta Mathematicae, Tome 216 (2012) no. 3, pp. 207-222. doi: 10.4064/fm216-3-2
Cité par Sources :