Also known as unramified forcing
in set theory, a technique for enlarging models of axioms of set theory (e.g. ZFC) by adjoining new elements, often used for proving consistency and independence results
In the Vinony graph
Within Vinony's link graph, 力迫 is referenced by 445 other articles, and connects out to countable set, Paul Cohen and consistency.
It is catalogued under the topic Forcing (mathematics).
Its subject is documented across 16 Wikipedia language editions.
Wikidata facts
- Part of
- set theory
Show 4 more facts
- maintained by WikiProject
- WikiProject Mathematics
- discoverer or inventor
- Paul Cohen
- topic's main category
- Category:Forcing (mathematics)
- Stack Exchange tag
- mathoverflow.net/tags/forcing
Sources (3)
via Wikidata · CC0
Article · 中文
在数学学科集合论中，力迫是保罗·寇恩（Paul J. Cohen）发明的一种技术，用来证明与策梅洛-弗兰克尔公理有关的一致性和结果。它在1962年首次被用来证明连续统假设和选择公理对策梅洛-弗兰克尔集合论的独立性。实际上在寇恩正式引入力迫法前，它已经被广泛地应用于递归论中。寇恩的力迫法最初是建立在分歧分层（ramified hierarchy）上，难于理解。1960年代通过（Solovay）与斯科特（Scott）等人的努力力迫法被相当程度的重做和简化。
Abstract from DBpedia / Wikipedia · CC BY-SA
Connections
countable set
Entity
Paul Cohen
Entity
consistency
Entity
partially ordered set
Entity
transfinite induction
Entity
axiom schema of replacement
Entity
von Neumann universe
Entity
Bertrand Russell
Entity
Pi
Concept
International Standard Book Number
Entity
set theory
Entity
John von Neumann
Entity
set
Entity
axiom
Entity
Georg Cantor
Entity
Kurt Gödel
Entity
digital object identifier
Entity
mathematical logic
Entity
Richard Dedekind
Entity
empty set
Entity