A new Easton theorem for supercompactness and level by level equivalence

Volume 65 / 2017

Arthur W. Apter Bulletin Polish Acad. Sci. Math. 65 (2017), 1-10 MSC: 03E35, 03E55. DOI: 10.4064/ba8080-6-2017 Published online: 17 July 2017

Abstract

We establish a new Easton theorem for the least supercompact cardinal $\kappa $ that is consistent with the level by level equivalence between strong compactness and supercompactness. This theorem is true in any model of ZFC containing at least one supercompact cardinal, regardless if level by level equivalence holds. Unlike previous Easton theorems for supercompactness, there are no limits on the Easton functions $F$ used, other than the usual constraints given by Easton’s theorem and the fact that if $\delta \lt \kappa $ is regular, then $F(\delta ) \lt \kappa $. In both our ground model and the model witnessing the conclusions of our theorem, there are no restrictions on the structure of the class of supercompact cardinals.

Authors

  • Arthur W. ApterDepartment of Mathematics
    Baruch College of CUNY
    New York, NY, 10010, U.S.A.
    and
    The CUNY Graduate Center, Mathematics
    365 Fifth Avenue
    New York, NY, 10016, USA
    http://faculty.baruch.cuny.edu/aapter
    e-mail

Search for IMPAN publications

Query phrase too short. Type at least 4 characters.

Rewrite code from the image

Reload image

Reload image