Noun
ramified forcing (uncountable)
(set theory) The original form of forcing, starting with a model .mw-parser-output .texhtml{font-family:"Nimbus Roman No9 L","Times New Roman",Times,serif;font-size:118%;line-height:1;white-space:nowrap;font-feature-settings:"lnum","tnum","kern"0;font-variant-numeric:lining-nums tabular-nums;font-kerning:none}.mw-parser-output .texhtml .texhtml{font-size:100%}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 Kurt Gödel's constructible hierarchy.