¿una pequeña pregunta acerca de los conjuntos admisibles: es cada $\mathfrak{M}$-ordinales admisibles un ordinal admisible? donde $\mathfrak{M}$ es una estructura de $L$ $L=\{R_1,\dots,R_k \}$.
Gracias.
Respuesta
¿Demasiados anuncios?
DanV
Puntos
281
La eliminación de esta pregunta sin respuesta de la lista:
Sí, la admisibilidad relativiza hacia abajo. Para una estructura transitiva, para ser admisible, debe ser susceptible, y satisfacer $\Sigma_0$-de la colección. Ambas son condiciones que mantener la celebración de si "quitar parámetros". Esto es obvio por conveniencia. Para la colección, un poco argumento de que es necesario. Si usted tiene acceso a Devlin "Constructibility" libro, este es el comienzo de la II.7. (Andrés Caicedo)
