(C3) El Axioma de Martin

Responsable: Pedro Sánchez Terraf (Univ. Nac. de Córdoba)

Horario: martes 12 y jueves 14 de 17.30 a 19hs; viernes 15 de 15.30 a 17hs

Aula: 3 (Pabellón 1) - Cupo: 100 participantes

Resumen: El enunciado del Axioma de Martin (MA) involucra conjuntos parcialmente ordenados y afirma la existencia de subconjuntos "genéricos" de los mismos. Es una consecuencia de la Hipótesis del Continuo de Cantor, y como ella es independiente del resto de los axiomas usuales de la Teoría de Conjuntos (o "la matemática", dependiendo del punto de vista). Discutiremos aplicaciones de MA a problemas combinatorios, de Teoría de la Medida muy básicos y aritmética cardinal. Sin embargo, el mayor interés en MA radica en que sus preliminares coinciden en gran medida con los de la técnica de forzamiento (forcing), introducida por Cohen en 1963 y que sigue siendo la herramienta más importante de investigación en Teoría de Conjuntos.

Requisitos: Es recomendable que los asistentes conozcan la definición de relación de orden parcial.

Notas: Disponibles aquí (archivo PDF).