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 results from it. Unfortunately the paper never published.

Question 1.Does anyone know the historical reasons for not publishing the paper?

Of course I know there are some papers and books covering the topic, in particular:

1) Boolean-valued set theory and forcing by Richard Mansfield, John Dawson.

2) Set Theory: Boolean-Valued Models and Independence Proofs by John Bell.

The second reference gives some historical points about the creation of Boolean valued method. Though the above references are very good for learning the method, I am mainly interested in the original paper.

Question 2.Is there any typed or scanned version of the Scott-Solovay paper available? how can I find a version of the paper?

Of course, maybe the simplest answer is: send an email to one of the authors, and ask them about the paper. But I would rather first try the Mathoverflow.

--

As it is stated in the answer below (and I was aware of it), the paper by Scott ``A proof of the independence of the continuum hypothesis'' presents some aspects of the theory. But it does not give answer to my questions.

4more comments