Cohen algebra

In mathematical set theory, a Cohen algebra, named after Paul Cohen, is a type of Boolean algebra used in the theory of forcing. A Cohen algebra is a Boolean algebra whose completion is isomorphic to the completion of a free Boolean algebra (Koppelberg 1993).

Not to be confused with Cohen ring or Rankin–Cohen algebra.
For the quotient of the algebra of Borel sets by the ideal of meager sets, sometimes called the Cohen algebra, see Cantor algebra.
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.