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 · Deutsch
Forcing (deutsch auch Erzwingung oder Erzwingungsmethode) ist in der Mengenlehre eine Technik zur Konstruktion von Modellen, die hauptsächlich verwendet wird, um relative Konsistenzbeweise zu führen. Sie wurde zuerst 1963 von Paul Cohen entwickelt und verwendet, um die Unabhängigkeit des Auswahlaxioms und der Kontinuumshypothese zu beweisen. Diese Leistung ist 1966 durch die Verleihung der Fields-Medaille gewürdigt worden. Die Forcing-Methode ist von verschiedenen Mathematikern vielfach weiterentwickelt worden.
Abstract from DBpedia / Wikipedia · CC BY-SA