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
在数学学科集合论中,力迫是保罗·寇恩(Paul J. Cohen)发明的一种技术,用来证明与策梅洛-弗兰克尔公理有关的一致性和结果。它在1962年首次被用来证明连续统假设和选择公理对策梅洛-弗兰克尔集合论的独立性。实际上在寇恩正式引入力迫法前,它已经被广泛地应用于递归论中。寇恩的力迫法最初是建立在分歧分层(ramified hierarchy)上,难于理解。1960年代通过(Solovay)与斯科特(Scott)等人的努力力迫法被相当程度的重做和简化。
Abstract from DBpedia / Wikipedia · CC BY-SA
via Wikidata sitelinks · CC0
Discovered by embedding cosine similarity (sentence-transformers MiniLM, 384-dim).