Login Preferences
About News Publications Statistics Downloads API Guide License How to use Preferences
bn:00739900n
Noun Concept
Categories: Forcing (mathematics)
EN
forcing  Cohen forcing  Easton forcing  forcing extension  Forcing method
EN
In the mathematical discipline of set theory, forcing is a technique for proving consistency and independence results. Wikipedia
English:
logic
set theory
mathematics
Definitions
Relations
Sources
EN
In the mathematical discipline of set theory, forcing is a technique for proving consistency and independence results. Wikipedia
A technique for obtaining independence proofs for set theory Wikipedia Disambiguation
Technique invented by Paul Cohen for proving consistency and independence results Wikidata
A technique used to prove the consistency of certain axioms in set theory. See forcing (mathematics). Wiktionary
Set theory: a technique used to prove the consistency of certain axioms. Wiktionary (translation)
IS A
scientific technique
PART OF
set theory
DIFFERENT FROM
ramified forcing
DISCOVERER OR INVENTOR
Paul Cohen
Wikipedia
EN
forcing (mathematics)
Wikidata
EN
forcing
Wiktionary
EN
forcing
Wikipedia Redirections
EN
Cohen forcing, Easton forcing, Forcing (logic), forcing extension, Forcing method, forcing relation, generic extension, Paul Cohen's theorem, unramified forcing, ⊩
Wikidata Alias
EN
unramified forcing

Please note that, in order to improve your browsing experience on this website, BabelNet® uses various types of cookies, including: browsing functionality, performance and statistical cookies.

By continuing to browse the site you are agreeing to our use of cookies. OK

License