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
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 · 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