ramified forcing

English

ramified forcing (uncountable)

(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.

单词	ramified forcing
释义	ramified forcing English Noun ramified forcing (uncountable) (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.
随便看	لمبه لمبو لمبيڠ لمبړ لمت لمتم لمتن لمح لمر لمر تندره لمريز لمريز غونډال ل م ز ل م س لمس لمست لمستم لمستن لمسن لمسنا لمسوا لمسول لمسى لمس کردن لمسی