Some applications of Sargsyan's equiconsistency method

• Autorzy: Arthur W. Apter
• Języki publikacji: EN

Abstrakty

EN

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.

Kategorie tematyczne

• 03E55: Large cardinals
• 03E45: Inner models, including constructibility, ordinal definability, and core models
• 03E35: Consistency and independence results

• Wydawca: Institute of Mathematics Polish Academy of Sciences
• Czasopismo: Fundamenta Mathematicae
• Rocznik: 2012
• Tom: 216
• Numer: 3
• Strony: 207-222

Daty

wydano

2012

Twórcy

autor

Arthur W. Apter

• Department of Mathematics, Baruch College of CUNY, New York, NY 10010, U.S.A.
• The CUNY Graduate Center, Mathematics, 365 Fifth Avenue, New York, NY 10016, U.S.A.

Identyfikatory

DOI

10.4064/fm216-3-2