En la teoría matemática de conjuntos , el álgebra de Cohen , que lleva el nombre de Paul Cohen , es un tipo de álgebra booleana que se utiliza en la teoría del forzamiento . Un álgebra de Cohen es un álgebra booleana cuya finalización es isomórfica a la finalización de un álgebra booleana libre ( Koppelberg 1993 ).
Referencias
- Koppelberg, Sabine (1993), "Caracterizaciones de las álgebras de Cohen", Artículos sobre topología general y aplicaciones (Madison, WI, 1991) , Anales de la Academia de Ciencias de Nueva York, 704 , Academia de Ciencias de Nueva York , págs. 222-237 , doi : 10.1111 / j.1749-6632.1993.tb52525.x , MR 1277859