{"version":"1.0","type":"link","title":"Forcing - Newikis","description":"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…","provider_name":"Newikis","provider_url":"https://newikis.com","cache_age":86400}