En la teoría de conjuntos , el teorema de cobertura de Jensen establece que si 0 # no existe, entonces todo conjunto incontable de ordinales está contenido en un conjunto construible de la misma cardinalidad. Informalmente, esta conclusión dice que el universo construible está cerca del universo de todos los conjuntos. La primera prueba apareció en ( Devlin & Jensen 1975 ). Silver luego dio una prueba libre de estructura fina usando sus máquinas y finalmente Magidor ( 1990 ) dio una prueba aún más simple.
Lo contrario del teorema de cobertura de Jensen también es cierto: si 0 # existe, entonces el conjunto contable de todos los cardinales menores que ℵ ω no puede ser cubierto por un conjunto construible de cardinalidad menor que ℵ ω .