All Questions
4 questions
32
votes
2
answers
4k
views
Similarities between Post's Problem and Cohen's Forcing
Remark: I have since learned that G.H. Moore addresses this question in the third reference listed at the end of this post, beginning on p. 157 in which he cites a letter from Kreisel to Gödel dated 4/...
49
votes
1
answer
2k
views
Producing finite objects by forcing!
It is a trivial fact that forcing can not produce finite sets of ground model objects. However there are situations,
where we can use forcing to prove the existence of finite objects with some ...
18
votes
3
answers
2k
views
Scott-Solovay unpublished paper on ``Boolean valued models of set theory''
I have read some papers from 1970$^{th}$, and in some of them, the paper of Scott and Solovay on ``Boolean valued models of set theory'' is given as a main reference, with many references to the ...
8
votes
1
answer
535
views
Different approaches to forcing
There are many different approaches to the forcing method, and I am looking for all known such approaches. So my question is:
Question 1. Which different approaches to set theoretic forcing are ...