Also 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
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
via Wikidata sitelinks · CC0
Discovered by embedding cosine similarity (sentence-transformers MiniLM, 384-dim).