Skip to main content

All Questions

Filter by
Sorted by
Tagged with
3 votes
2 answers
537 views

Proving results about complete Boolean algebras in ZFC using Boolean valued models

I want to know what non-trivial ZFC theorems (not consistency results) about complete Boolean algebras (or more generally of partially ordered sets) one can prove using forcing. I am mainly ...