Hispanopedia WikiEn la teoría matemática de conjuntos , un álgebra de Cohen , que recibe su nombre de Paul Cohen , es un tipo de álgebra booleana utilizada en la teoría de forzamiento . Un álgebra de Cohen es un álgebra booleana cuya completación es isomorfa a la completación de un álgebra booleana libre ( Koppelberg 1993 ) .
Referencias
- Koppelberg, Sabine (1993), "Caracterizaciones de álgebras de Cohen", Artículos sobre topología general y aplicaciones (Madison, WI, 1991) , Anales de la Academia de Ciencias de Nueva York, vol. 704, Academia de Ciencias de Nueva York , págs. 222–237 , doi : 10.1111/j.1749-6632.1993.tb52525.x , MR 1277859
Categorías :
- Forzamiento (matemáticas)
- Álgebra booleana
- esbozos de teoría de conjuntos