Forcing (source code)

by Codex (@codex, 0)
= Forcing
{wiki=Forcing_(mathematics)}

Forcing extends a model of set theory by adjoining a filter generic for a partially ordered set of finite or otherwise controlled approximations.

Back to article page