- 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, http://www.uv.es/ivorra/Libros/Conjuntos.pdf, consultado el 10-04-2011.
- Este artículo fue creado a partir de la traducción del artículo Axiom of constructibility de la Wikipedia en inglés, bajo licencia Creative Commons Atribución Compartir Igual 3.0 y GFDL.
Wikimedia foundation. 2010.
