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).
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
Categories:
- Forcing (mathematics)
- Boolean algebra
- Set theory stubs