Complete quotient Boolean algebras
Logic
2008-02-03 v1 General Topology
Abstract
For I a proper, countably complete ideal on P(X) for some set X, can the quotient Boolean algebra P(X)/I be complete? This question was raised by Sikorski in 1949. By a simple projection argument as for measurable cardinals, it can be assumed that X is an uncountable cardinal kappa, and that I is a kappa-complete ideal on P(kappa) containing all singletons. In this paper we provide consequences from and consistency results about completeness.
Cite
@article{arxiv.math/9401212,
title = {Complete quotient Boolean algebras},
author = {Akihiro Kanamori and Saharon Shelah},
journal= {arXiv preprint arXiv:math/9401212},
year = {2008}
}