ramified forcing

noun

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.

Ask AI about this wordChatGPTClaudePerplexityGoogle AIGrok

Meanings

nounramified forcing (uncountable)
  1. uncountablemathematicsThe 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.
Cite this entry
APA

ramified forcing. (n.d.). In WatkinsX Dictionary. Retrieved November 3, 2026, from https://dictionary.watkinsx.com/word/ramified%20forcing

MLA

“ramified forcing.” WatkinsX Dictionary, https://dictionary.watkinsx.com/word/ramified%20forcing. Accessed November 3, 2026.

Chicago

WatkinsX Dictionary, s.v. “ramified forcing,” accessed November 3, 2026, https://dictionary.watkinsx.com/word/ramified%20forcing.

Source: ramified forcing on Wiktionary, CC BY-SA 4.0.