Tag: well foundedness
-
Una buena elección de cardinal
Ayer recibí la estupenda noticia que en el curso de Funciones Reales que se dicta en la FaMAF–UNC, demostraron el Teorema de Cantor-Schröder-Bernstein (algunos omiten uno de los nombres, pero en cualquier caso es un teorema con “doble apellido”). Este teorema dice que, dados dos conjuntos $X$ e $Y$, si hay una inyección $f:X\to Y$…
-
Problemas señeros (II)
Abstract. This is the second post dedicated to elementary problems with a set-theoretic solution. We discuss the impossibility of an infinite descending chain of sets $\{X_j\}_{j}$ such that $\P(X_{n+1})=X_n$. This is an exercise in Kunen . El logaritmo no se puede iterar infinitamente Muy fácil: números reales, operaciones usuales. Específicamente, operaciones que achican. Por ejemplo,…