« Set Theory

Definition. Forcing Notion [001U]

A forcing notion for a set is a any non-empty set .

Backlinks

Definition. Generic Ideal of a Forcing Notion [002H]