forcing
Sign in to saveAlso 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, forcing 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 · Svenska
Inom mängdteorin är forcing en metod för att konstruera universa för mängdteorin i syfte att visa att vissa mängdteoretiska påståenden är oavgörbara, det vill säga varken kan bevisas eller motbevisas utifrån mängdteorins axiom. Metoden utvecklades av för att konstruera ett universum där och därigenom visa att kontinuumhypotesen inte kan bevisas i ZFC. Den introducerades i matematisk bevisning för att visa att kontinuumhypotesen och Urvalsaxiomet är fristående från Zermelo–Fraenkels mängdteori.
Abstract from DBpedia / Wikipedia · CC BY-SA