Definitions from Wiktionary (ramified forcing)
▸ noun: (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.
▸ Words similar to ramified forcing
▸ Usage examples for ramified forcing
▸ Idioms related to ramified forcing
▸ Wikipedia articles (New!)
▸ Words that often appear near ramified forcing
▸ Rhymes of ramified forcing
▸ Invented words related to ramified forcing
▸ noun: (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.
Similar:
forcing,
Zermelo-Fraenkel set theory,
Zermelo set theory,
Zermelo's theorem,
axiom of power set,
sets,
Grothendieck universe,
Löwenheim-Skolem theorem,
power,
Heyting algebra,
more...
Opposite:
▸ Words similar to ramified forcing
▸ Usage examples for ramified forcing
▸ Idioms related to ramified forcing
▸ Wikipedia articles (New!)
▸ Words that often appear near ramified forcing
▸ Rhymes of ramified forcing
▸ Invented words related to ramified forcing