コーエン代数
表示
数学の集合論において、コーエン代数 (Cohen algebra) は強制法の理論において用いられるブール代数のタイプであり、ポール・コーエンにちなんで名づけられている。コーエン代数はその完備化が自由ブール代数の完備化に同型なブール代数である(Koppelberg 1993)。
参考文献
[編集]- Koppelberg, Sabine (1993), “Characterizations of Cohen algebras”, Papers on general topology and applications (Madison, WI, 1991), Annals of the New York Academy of Sciences, 704, New York Academy of Sciences, pp. 222–237, doi:10.1111/j.1749-6632.1993.tb52525.x, MR1277859