All Questions
2 questions
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 ...
21
votes
10
answers
3k
views
Examples of ZFC theorems proved via forcing
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 ...