As everyone knows, forcing was created by Cohen to answer questions in set theory. Question 1. What are the first applications of set theoretic forcing in other branches of mathematical logic, like ...
It is known by work of Woodin and Gitik that that the failure of SCH (singular cardinals hypothesis) at a singular cardinal of cofinality $\omega$ is equiconsistent with the existence of a measurable ...
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 ...
What were the initial motivations of the use of the proper forcing.?