All Questions
1 question
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 ...