Some applications of Sargsyan's equiconsistency method

Arthur W. Apter

Fundamenta Mathematicae (2012)

  • Volume: 216, Issue: 3, page 207-222
  • ISSN: 0016-2736

Abstract

top
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.

How to cite

top

Arthur W. Apter. "Some applications of Sargsyan's equiconsistency method." Fundamenta Mathematicae 216.3 (2012): 207-222. <http://eudml.org/doc/282944>.

@article{ArthurW2012,
abstract = {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.},
author = {Arthur W. Apter},
journal = {Fundamenta Mathematicae},
keywords = {indestructibility; equiconsistency; measurable cardinal; tall cardinal; strong cardinal; hyperstrong cardinal; strongly compact cardinal; supercompact cardinal; hypercompact cardinal; almost huge cardinal; core model},
language = {eng},
number = {3},
pages = {207-222},
title = {Some applications of Sargsyan's equiconsistency method},
url = {http://eudml.org/doc/282944},
volume = {216},
year = {2012},
}

TY - JOUR
AU - Arthur W. Apter
TI - Some applications of Sargsyan's equiconsistency method
JO - Fundamenta Mathematicae
PY - 2012
VL - 216
IS - 3
SP - 207
EP - 222
AB - 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.
LA - eng
KW - indestructibility; equiconsistency; measurable cardinal; tall cardinal; strong cardinal; hyperstrong cardinal; strongly compact cardinal; supercompact cardinal; hypercompact cardinal; almost huge cardinal; core model
UR - http://eudml.org/doc/282944
ER -

NotesEmbed ?

top

You must be logged in to post comments.

To embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.

Only the controls for the widget will be shown in your chosen language. Notes will be shown in their authored language.

Tells the widget how many notes to show per page. You can cycle through additional notes using the next and previous controls.

    
                

Note: Best practice suggests putting the JavaScript code just before the closing </body> tag.