ramified forcing
form of forcing in which one starts with a model of set theory in which the axiom of constructibility holds and iteratively builds up a larger model by adding a generic subset of a partially ordered set, imitating the constructible hierarchy
en-GB/ˈɹæmɪfaɪd ˈfɔːsɪŋ/