Forcing

- Natural & Formal Sciences -
Mathematics & Logic Dictionary
A model-construction technique, originating in set theory, that extends a model by adjoining generic objects or conditions to realize or refute particular statements; commonly used to produce models where certain sentences hold or fail.