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
--Agreed Upon Solutions
The discussion does not exist would you like to add the first comment?