Axioma de Martin

Ponente(s): Jorge Armando Martínez Quintero
El axioma de Martin (MA) introducido por Donald A. Martin y Robert M. Solovay es un enunciado que es independiente de los axiomas habituales de la teoría de conjuntos (ZFC). Además MA es consistente con ZFC + ¬CH y CH implica MA. En esta charla veremos el enunciado del Axioma de Martin, variaciones sobre MA y algunas aplicaciones a problemas combinatorios, filtros y cardinales. Bibliografía: 1. Kunen, K. Set Theory. Studies in Logic, Mathematical Logic and Foundations. Volume 34. 2011 2. Lorenz J. Halbeisen. Combinatorial Set Theory, With a Gentle Introduction to Forcing. Springer - Verlag, 2012