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
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 · Nederlands
In de wiskundige discipline van de verzamelingenleer is forcing een techniek, die door Paul Cohen is geconstrueerd om consistentie en de onafhankelijkheidsresultaten te bewijzen. Cohen gebruikte de techniek voor het eerst in 1962 om de onafhankelijkheid van de continuümhypothese en het keuzeaxioma te bewijzen van de Zermelo-Fraenkel-verzamelingenleer. Forcing werd in de jaren zestig aanzienlijk herwerkt en vereenvoudigd en heeft zowel binnen de verzamelingenleer als in andere deelgebieden van wiskundige logica, zoals de , bewezen een bijzonder krachtige techniek te zijn.
Abstract from DBpedia / Wikipedia · CC BY-SA