Consistency results concerning supercompactness

Telis K. Menas
1976 Transactions of the American Mathematical Society  
A general framework for proving relative consistency results with regard to supercompactness is developed. Within this framework we prove the relative consistency of the assertion that every set is ordinal definable with the statement asserting the existence of a supercompact cardinal. We also generalize Easton's theorem; the new element in our result is that our forcing conditions preserve supercompactness.
doi:10.1090/s0002-9947-1976-0540771-8 fatcat:3hsjlg2ihzfs5ibv62reunbxpq