In our background universe $V$ - satisfying $\operatorname{ZFC}$ - we say that an ordinal $\delta$ is a Woodin cardinal iff it satisfies one of the following equivalent properties:
- For all $A \subseteq V_{\delta}$ there is a cardinal $\kappa < \delta$ such that for all $\nu < \delta$ there is a definable elementary embedding $j \colon V \prec M$, $M$ transitive, such that $\operatorname{crit}(j) = \kappa$, $j(\kappa) > \nu$ and $j(A) \cap V_{\nu} = A \cap V_{\nu}$. (Note that by reflecting $A^* := \{0\} \times A \cup \{1 \} \times V_{\delta}$ instead and choosing $\nu$ to be a cardinal, we can furthermore require that $V_{\nu} \subseteq M$.)
- For all $A \subseteq V_{\delta}$ there is some $\kappa < \delta$ such that for all $\nu < \delta$ there is an elementary embedding as in 1. which is the canonical embedding $j = j_{E}$ of some extender $E$.
- For every function $f \colon \delta \to \delta$ there is some $\kappa < \delta$ such that $f '' \kappa \subseteq \kappa$ and such that there is a definable elementary embedding $j \colon V \prec M$, $M$ transitive, with $\operatorname{crit}(j) = \kappa$ and $V_{j(f)(\kappa)} \subseteq M$.
- For every function $f \colon \delta \to \delta$ there is some $\kappa < \delta$ with $f '' \kappa \subseteq \kappa$ and some extender $E$ with associated embedding $j_E \colon V \prec M$, $M$ transitive, such that $\operatorname{crit}(j_{E}) = \kappa$ and $V_{j_{E}(f)(\kappa)} \subseteq M$.
In WHAT IS THE THEORY ZFC WITHOUT POWER SET? Victoria Gitman, Joel David Hamkins, and Thomas A. Johnstone showed - amonst other things - that in a model $N$ of $\operatorname{ZFC}_{-}$ (i.e. $\operatorname{ZFC}$ with the power set axiom removed) it is possible to have an embedding $j_{E} \colon N \to M$ associated to an $N$-extender $E \in N$ such that $M$ is transitive but $j_{E}$ is not elementary. I suspect that their construction can be generalized to produce a $\operatorname{ZFC}_{-}$-model $N$ in which 1. and 2. (resp. 3. and 4.) are not equivalent.
[This motivates a vague question, which is not the intended focus of this post, namely:
Q: Is there a model $N$ of $\operatorname{ZFC}_{-}$ in which 1.(/3.) holds but 2.(/4.) fail?]
I, however, am more interested in models of $\operatorname{ZFC}^{-}$ (i.e. $\operatorname{ZFC}$ with the power set axiom removed to which we add the axiom scheme of collection). Here (again demonstrated by Gitman, Hamkins and Thomas for $N$-measures - the same argument seems to work for $N$-extenders) Łoś's theorem does hold, so that a lack of elementarity doesn't stop us. Thinking through the proof it also seems that now 1. and 2. (resp. 3. and 4.) are equivalent. The remaining question is:
Q: Is it possible to have a transitive model $N$ of $\operatorname{ZFC}^{-}$ such that 2. and 4. are not equivalent? (All relevant extenders $E$ are supposed to be elements of $N$ and the elementarity of $j_{E}$ is interpreted as a meta-theorem in $N$.)
Edit: I'd like to thank Joel Hamkins for his helpful comments on the matter which made me aware of some issues in my original question. In order to avoid most of these subtleties, I've now narrowed the scope of my question. However, if the answer to it is negative, I will also welcome suggestions of more general interpretations of the Woodinness of $\delta$ in/over $N$ that allow for a positive answer.
