ramified forcing

Noun

 * 1)  The original form of forcing, starting with a model $M$ of set theory in which the axiom of constructibility, $V = L$, holds, and then building up a larger model $M[G]$ of Zermelo-Fraenkel set theory by adding a generic subset $G$ of a partially ordered set to $M$, imitating 's constructible hierarchy.