Cohen algebra
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.
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 algebras whose completion is isomorphic to the completion of a free Boolean algebra (Koppelberg 1993).
References
- Koppelberg, Sabine (1993), "Characterizations of Cohen algebras", Papers on general topology and applications (Madison, WI, 1991), Annals of the New York Academy of Sciences 704, New York Academy of Sciences, pp. 222–237, doi:10.1111/j.1749-6632.1993.tb52525.x, MR 1277859