From Wikipedia, the free encyclopedia
Type of Boolean 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 algebra 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, vol. 704,
New York Academy of Sciences, pp. 222–237,
doi:
10.1111/j.1749-6632.1993.tb52525.x,
MR
1277859