Dejemos que $M$ denotan un modelo de tamaño de conjunto bien fundado de ZFC. El valor de descenso de $M$ se definirá como el valor de $n$ devuelto por el siguiente proceso.
Inicialización. Dejemos que $n$ igual $0$ y $X$ igual $M$ .
Paso. Si $L_{\omega_1^X}^X$ no satisface la ZFC según $M$ , parada y salida $n$ . En caso contrario, incrementa $n$ , dejemos que $X$ igual $L_{\omega_1^X}^X$ y repite.
Pregunta. Suponiendo axiomas cardinales suficientemente potentes, ¿es cierto que para cada natural $n\geq 0,$ existe un modelo bien fundado $M$ de ZFC cuyo valor de descenso es $n$ ?