摘要

In this paper, we study distributive proper forcing axiom (DPFA) and prove its consistency with a dichotomy of the CichoA"'s diagram, relative to certain large cardinal assumption. Namely, we evaluate the cardinal invariants in CichoA"'s diagram with the first two uncountable cardinals in the way that the left-hand side has the least possible cardinality while the right-hand side has the largest possible value, and preserve the evaluation along the way of forcing DPFA.

全文