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

edit
  • 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