Wikidata facts
Show 1 more fact
- 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
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