El número de axioma de Martin %-%-% es el valor menos cardinal %-%-% para el que %-%-% es falso, es decir, el valor menos cardinal de tal manera que existe un ccc poset %-%-% y una familia %-%-% de los subconjuntos densos de %-%-% con %-%-% de tal manera que no hay %-%-%-%-% genérico%.
¿Es normal % % % ?
Todo lo que sé es que %-%-% no puede ser singular a menos que %-%-%. Esto se debe a que $\mathfrak m$$ donde %-%-% es el número de pseudointerescías. Por lo tanto, %-%-% implica %-%-% y %-%-% puede ser regular.
