Can I read Primer Modelo de Cohen y Forcing on EtoBox?

Primer Modelo de Cohen y Forcing by Laura Garcia is a document available to read on EtoBox.

What is Primer Modelo de Cohen y Forcing about?

El documento describe el primer modelo de Cohen, en el cual se obliga a añadir una función inyectiva desde un conjunto Dedekind-finito de números reales hacia algún ordinal infinito κ. Esto se logra mediante el método de forcing desarrollado por Paul Cohen, el cual permite expandir el universo de conjuntos y añadir nuevos objetos para probar resultados de independencia en teoría de conjuntos. El modelo resultante es equivalente a añadir κ números reales de Cohen al modelo original.

Author

Laura Garcia

Language

ES