Universo constructible
En teoría de conjuntos, el universo constructible, también denominado jerarquía constructible o universo constructible de Gödel y que se denota por L, es una clase de conjuntos que pueden ser descritos en términos de «conjuntos más simples», los llamados conjuntos constructibles.
La noción de conjunto constructible se define de forma recursiva, dividiendo el proceso en pasos numerados por números ordinales. Los conjuntos constructibles en el paso α se denominan Lα. Un conjunto constructible del paso siguiente, Lα+1, se define como un subconjunto de algún conjunto en Lα definido por una fórmula de primer orden.
El universo constructible es un modelo de la teoría de conjuntos estándar ZF en el que tanto el axioma de elección como la hipótesis del continuo generalizada son ciertos, probando que ambas proposiciones son consistentes con dicha teoría. Sin embargo, el axioma de constructibilidad, que afirma que todo conjunto es constructible, es independiente de los axiomas de ZF.
Referencias
- Ivorra, Carlos, Pruebas de consistencia, archivado desde el original el 4 de julio de 2011, consultado el 10 de abril de 2011 ..
Bibliografía adicional
- Devlin, Keith (1984). Constructibility (en inglés). Berlin: Springer. ISBN 3-540-13258-9.
Enlaces externos
- Esta obra contiene una traducción derivada de «Axiom of constructibility» de Wikipedia en inglés, publicada por sus editores bajo la Licencia de documentación libre de GNU y la Licencia Creative Commons Atribución-CompartirIgual 4.0 Internacional.
Datos: Q2777107