¿Existe una noción de supercompacidad de un$\kappa$ cardinal que implica lo siguiente?
Para cada secuencia$\langle \alpha_i : i < \kappa \rangle \subseteq \kappa$ y cada$i_0 < \kappa$, hay una incrustación elemental$j : V \to M$ tal que si$\lambda = j(\langle \alpha_i : i < \kappa \rangle)(\kappa + i_0)$, entonces$M^\lambda \subseteq M$.
Esto funciona con casi inmensidad, pero me pregunto si hay una noción intermedia (que ya tiene una definición, o una más simple que solo indica lo anterior).
