Forcing (mathematics)

In the mathematical discipline of set theory, forcing is a technique discovered by Paul Cohen for proving consistency and independence results. It was first used, in 1963, to prove the independence of the axiom of choice and the continuum hypothesis from Zermelo–Fraenkel set theory. Forcing was considerably reworked and simplified in the following years, and has since served as a powerful technique both in set theory and in areas of mathematical logic such as recursion theory.

单词	Forcing relation
释义	Forcing relation 英语百科 Forcing (mathematics) In the mathematical discipline of set theory, forcing is a technique discovered by Paul Cohen for proving consistency and independence results. It was first used, in 1963, to prove the independence of the axiom of choice and the continuum hypothesis from Zermelo–Fraenkel set theory. Forcing was considerably reworked and simplified in the following years, and has since served as a powerful technique both in set theory and in areas of mathematical logic such as recursion theory.
随便看	partial program partial program specification partial projection drawing partial projection filter partial prolapse partial property partial proportional symbol partial propositional calculus partial protection partial protein partial prothrombin time partial pseudoprecocity partial psychogenia partial pulpectomy partial pulpitis partial pulpotomy partial pulse partial pump partial pyritic smelting partial quadtree partial qualitative change partial quantitative change partial quenching partial quendching partial question

Forcing relation

Forcing (mathematics)