Tag: Lövenheim-Skolem Theorem
-
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…
-
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…