More Easton theorems for level by level equivalence
Volume 128 / 2012
Colloquium Mathematicum 128 (2012), 69-86
MSC: 03E35, 03E55.
DOI: 10.4064/cm128-1-7
Abstract
We establish two new Easton theorems for the least supercompact cardinal that are consistent with the level by level equivalence between strong compactness and supercompactness. These theorems generalize Theorem 1 in our earlier paper [Math. Logic Quart. 51 (2005)]. In both our ground model and the model witnessing the conclusions of our present theorems, there are no restrictions on the structure of the class of supercompact cardinals.
