All Questions

This is an old suggestion of Joel David Hamkins at the end of his answer to this question: Forcing as a tool to prove theorems I just noticed it while trying to understand his answer. But indeed it ...

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 ...