Axioma de Martín

El axioma de Martin, una declaración sobre las condiciones suficientes para la existencia de un ultrafiltro en un álgebra booleana , es una consecuencia de la hipótesis del continuo . Ampliamente utilizado en topología general y teoría de conjuntos .

Declaración: si es un álgebra booleana que satisface la condición de contabilidad en cadena y es una familia de subconjuntos tales que , entonces existe un ultrafiltro completo en . ( Un conjunto parcialmente ordenado satisface la contabilidad de cadenas si cada conjunto de elementos incompatibles por pares tiene la cardinalidad de un conjunto contable). $B$ $F$ $B$ $| F | < 2^{\aleph_{0}}$ $F$ $GRAMO$ $B$ $(P, <)$ $PAGS$

Literatura

Yeh T. Teoría de conjuntos y el método de forzamiento. - M.: Mir, 1973. - S. 101-110;