Iterated extended ultrapowers and supercompactness without choice (Q1182469)

It is well-known that under the axiom of determinateness \(\omega_ 1\) and \(\omega_ 2\) are measurable, even more, \(\omega_ 1\) is \(\omega_ 2\)-supercompact. Thus, in the absence of the axiom of choice, one has to be careful to interprete these notions as ``large'' cardinal properties. The author continues his study of (extended) ultrapowers in ZF set theory without AC (but with dependent choice DC) generalizing the technique of iterated ultrapowers. In particular it is shown that (some of) Kunen's results on inner models of measurability (w.r.t. ZF\(+\)AC) generalize to inner models of supercompactness (w.r.t. ZF\(+\)DC).