forçamento
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
Article · Português
Em teoria dos conjuntos, forçamento (em inglês, forcing) é uma técnica inventada por Paul Cohen para provar resultados de consistência e independência. Foi usada pela primeira vez em 1962, para provar a independência da hipótese do continuum e do axioma da escolha dos . O forçamento foi consideravelmente reelaborado e simplificado na década de 1960, e tem se mostrado ser uma técnica extremamente poderosa tanto em teoria dos conjuntos quando em outras áreas de lógica matemática, tais como teoria da recursão.
Abstract from DBpedia / Wikipedia · CC BY-SA