[Math] Scott-Solovay unpublished paper on “Boolean valued models of set theory”

forcingho.history-overviewlo.logicreference-requestset-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 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.

Best Answer

Scott was editor of the Oxford logic guides and was involved in the preparation of Set Theory: Boolean-Valued Models and Independence Proofs (Oxford Logic Guides). He wrote a forward to it and in this passage he discusses the reasons it was not published:

"There are many references in the literature to the Scott–Solovay paper, which was to be published as an expanded version of the 1967 notes. This paper does not exist, and it is my own personal failing for not putting it together from the materials I had at hand. I discussed it several times with Robert Solovay, but we were not at the same institution and could not work very closely together. He drafted parts of certain sections, but he was working on so many papers at the same time that he did not have the opportunity to draft the whole paper. The present book essentially supplants the projected Scott–Solovay paper. Part of my own difficulty about writing the Scott–Solovay paper was the fantastic growth of the field and the speed with which it changed. During the winter of 1968–1969 I became profoundly discouraged because I felt unable to make any original contributions: any ideas I had were either wrong or already known. It is easy enough to say now that I should have been content to be a reporter and expositor, but, at the very moment when one is being left behind, things seem less pleasant. I put these remarks forward not as an excuse but simply as an explanation of why I could not complete what I set out to do."

Related Question