ramified forcing

English

(set theory) The original form of forcing, starting with a model $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.

This article is issued from Wiktionary. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.