In mathematical
set theory
Set theory is the branch of mathematical logic that studies sets, which can be informally described as collections of objects. Although objects of any kind can be collected into a set, set theory, as a branch of mathematics, is mostly concer ...
, a Cohen algebra, named after
Paul Cohen
Paul Joseph Cohen (April 2, 1934 – March 23, 2007) was an American mathematician. He is best known for his proofs that the continuum hypothesis and the axiom of choice are independent from Zermelo–Fraenkel set theory, for which he was award ...
, is a type of
Boolean algebra
In mathematics and mathematical logic, Boolean algebra is a branch of algebra. It differs from elementary algebra in two ways. First, the values of the variables are the truth values ''true'' and ''false'', usually denoted 1 and 0, whereas ...
used in the theory of
forcing
Forcing may refer to: Mathematics and science
* Forcing (mathematics), a technique for obtaining independence proofs for set theory
*Forcing (recursion theory), a modification of Paul Cohen's original set theoretic technique of forcing to deal with ...
. A Cohen algebra is a Boolean algebra whose
completion is isomorphic to the completion of a
free Boolean algebra In mathematics, a free Boolean algebra is a Boolean algebra with a distinguished set of elements, called ''generators'', such that:
#Each element of the Boolean algebra can be expressed as a finite combination of generators, using the Boolean opera ...
.
References
*
Forcing (mathematics)
Boolean algebra
{{Settheory-stub