Models of the Universe

I promised my friend Zoltán a translation of an older post in Spanish, Modelos del Universo, so here it is. It is almost a literal version.


After some reflection on independence proofs in Set Theory using the method of forcing, one of my conclusions was that it should not be too counterintuitive the fact of adding a new set, i.e., a set not obtainable from previous existing ones using the already established operations of set construction.  For instance, we don’t feel any remorse for taking an arbitrary ring $k$ and adjoining an element transcendental over it, obtaining $k[x]$. Continue reading

Modelos del Universo

Después de reflexionar un rato sobre las pruebas de independencia en Teoría de Conjuntos que usan el método de “forzamiento” o forcing, una conclusión que se puede sacar es que no es tan anti-intuitivo poder agregar un conjunto nuevo, i.e., que no se pueda obtener a partir de los ya existentes usando las operaciones usualmente aceptadas de definición de conjuntos. Por ejemplo, no nos produce ninguna inquietud tomar un anillo arbitrario $k$ y adjuntarle un elemento trascendente sobre él, obteniendo $k[x]$.
Continue reading