Forcing and forcing axioms
The forcing method and the axioms that assert the existence of generic filters, such as Martin's axiom and the proper forcing axiom, together with combinatorial dichotomies like the open coloring axiom and the P-ideal dichotomy that follow from them.
Loading dependency explorer…
The dependency explorer needs JavaScript and its graph data.