Jugando a "Dónde quedó la bolita" me robaron el Axioma de Elección

Ponente(s): Kinam Uc Jacinto

El objetivo de esta charla es presentar la mitad de la demostración de la independencia del Axioma de Elección de los axiomas de Zermelo-Fraenkel. Construiremos un modelo en el que el Axioma de Elección no es cierto en general. Aunque la prueba original fue hecha por Cohen utilizando su famoso método de Forcing, nosotros emplearemos la teoría de modelos Booleano-valuados (que sigue siendo forcing, pero a juicio personal, más amigable) originada de los trabajos de Robert M. Solovay y Dana Scott; y las acciones de grupo para construir un modelo de ZF sin Elección siguiendo la línea de los Modelos de Permutaciones ideados por Fraenkel y Mostowski.