En la teoría de conjuntos , una rama de la lógica matemática , el máximo de Martin , introducida por Foreman, Magidor y Shelah (1988) y nombrada en honor a Donald Martin , es una generalización del axioma de forzamiento adecuado , en sí mismo una generalización del axioma de Martin . Representa la clase más amplia de forzamientos para los cuales un axioma de forzamiento es consistente.
El máximo de Martin establece que si D es una colección de subconjuntos densos de una noción de forzamiento que preserva subconjuntos estacionarios de ω 1 , entonces hay un filtro D -genérico. Forzar con una noción ccc de forzar preserva los subconjuntos estacionarios de ω 1 , por lo que se extiende . Si ( P ,≤) no es un conjunto estacionario que preserva la noción de forzado, es decir, hay un subconjunto estacionario de ω 1 , que se vuelve no estacionario cuando se fuerza con ( P ,≤), entonces hay una colección D de subconjuntos densos de ( P ,≤), de modo que no existe un filtro D -genérico. Por eso se llama extensión máxima del axioma de Martin.
La existencia de un cardinal supercompacto implica la consistencia del máximo de Martin. [1] La prueba utiliza las teorías de Shelah de forzamiento semipropio e iteración con soportes contables revisados.
implica que el valor del continuo es [2] y que el ideal de conjuntos no estacionarios en ω 1 está -saturado. [3] Implica además una reflexión estacionaria, es decir, si S es un subconjunto estacionario de algún cardinal regular κ ≥ ω 2 y cada elemento de S tiene cofinalidad contable, entonces hay un ordinal α < κ tal que S ∩ α es estacionario en α . De hecho, S contiene un subconjunto cerrado de tipo de orden ω 1 .
