Tag: Martin’s Axiom
-
Lecturas iniciales en Teoría de Conjuntos
En sólo un día y medio comenzará el Congreso Monteiro, y con la suerte de tener el marco de un nutrido menú de charlas plenarias muy interesantes, también comenzará mi pequeño curso sobre el Axioma de Martin ($\MA$). En la web del congreso están subidas las notas del curso, que esencialmente contienen los últimos posts…
-
Aplicaciones del Axioma de Martin
Como prometimos, veremos a continuación algunas aplicaciones del Axioma de Martin. Recordemos que $\CH$ implica (o más bien, “trivializa”) a $\MA$. El Axioma de Martin comparte varias consecuencias de $\CH$, pero por razones distintas. Donde $\CH$ obliga a varias familias a tener cardinal $2^{\ale0}$ por “falta de lugar” (no hay cardinales entre $\ale0$ y $2^{\ale0}$),…
-
El Axioma de Martin
En un post anterior dimos las definiciones básicas de conjuntos densos y filtros genéricos en conjuntos parcialmente ordenados (“posets”), y enunciamos el Teorema de Existencia de Filtro genérico, que copiamos a continuación: Teorema 1. Si $\mathbb{P}$ es un poset, $\mathcal{D}$ es una familia contable de subconjuntos densos de $\mathbb{P}$ y $p\in\mathbb{P}$, hay un filtro $\mathcal{D}$-genérico…
-
Nociones de Forzamiento
La técnica de forcing o forzamiento permite construir objetos mediante aproximaciones. En general es muy difícil o imposible dar una descripción completa del objeto a construir, pero esto no significa que no haya uno: muchas veces son la mayoría, y la gran idea detrás del forcing es que el objeto “genérico” cumplirá con los requerimientos,…
-
Características del Continuo
Imagino que casi cualquiera que haya pasado por este blog estará al tanto de que hay problemas en Teoría de Conjuntos que son independientes de los axiomas actualmente aceptados ($\mathit{ZFC}$). El más famoso, por lejos, es la Hipótesis del Continuo ($\mathit{CH}$): Todo subconjunto no numerable de $\mathbb{R}$ es biyectivo con $\mathbb{R}$. El cardinal de $\mathbb{N}$…
-
Congreso “Dr. Antonio Monteiro” 2017
Del 31 de mayo al 2 de junio de 2017 se realizará en la ciudad de Bahía Blanca el XIII Congreso “Dr. Antonio Monteiro”, dedicado a Lógica en esta edición. Asimismo, habrá sesiones de comunicaciones temáticas en todas las áreas (Álgebra, Análisis, Geometría, Probabilidad y Estadística, Lógica y Matemática Aplicada). Esta es una ocasión muy especial para…
-
Exitoso fin de curso
El miércoles pasado terminamos con el curso Teoría de Conjuntos que dicté en FaMAF–UNC. Estoy muy contento por el resultado, y felicito a los “supervivientes” que llegaron hasta el final. Una característica de este curso es que abordamos algunos temas que (hasta donde llega mi conocimiento) no se incluyen en los programas de otros similares…