Skip to main content
replaced http://mathoverflow.net/ with https://mathoverflow.net/
Source Link

In trying to trace the history of forcing in an earlier MO questionMO question, I came across G.H. Moore's The origins of forcing. I think you can find in Moore's piece an answer to your question, too. On p. 164 he writes:

enter image description here

From the corresponding paper of Solovay, A Model of Set-Theory in which Every Set of Reals is Lebesgue Measurable, p. 4:

enter image description here

The next page footnotes:

Our original definition of generic was based on "complete sequences". The present approach is due to Levy [8].

I have found no copies of the Levy papers, but Solovay's citations of 8 and 9, respectively, are:

enter image description here

In trying to trace the history of forcing in an earlier MO question, I came across G.H. Moore's The origins of forcing. I think you can find in Moore's piece an answer to your question, too. On p. 164 he writes:

enter image description here

From the corresponding paper of Solovay, A Model of Set-Theory in which Every Set of Reals is Lebesgue Measurable, p. 4:

enter image description here

The next page footnotes:

Our original definition of generic was based on "complete sequences". The present approach is due to Levy [8].

I have found no copies of the Levy papers, but Solovay's citations of 8 and 9, respectively, are:

enter image description here

In trying to trace the history of forcing in an earlier MO question, I came across G.H. Moore's The origins of forcing. I think you can find in Moore's piece an answer to your question, too. On p. 164 he writes:

enter image description here

From the corresponding paper of Solovay, A Model of Set-Theory in which Every Set of Reals is Lebesgue Measurable, p. 4:

enter image description here

The next page footnotes:

Our original definition of generic was based on "complete sequences". The present approach is due to Levy [8].

I have found no copies of the Levy papers, but Solovay's citations of 8 and 9, respectively, are:

enter image description here

Source Link
Benjamin Dickman
  • 7.8k
  • 2
  • 47
  • 89

In trying to trace the history of forcing in an earlier MO question, I came across G.H. Moore's The origins of forcing. I think you can find in Moore's piece an answer to your question, too. On p. 164 he writes:

enter image description here

From the corresponding paper of Solovay, A Model of Set-Theory in which Every Set of Reals is Lebesgue Measurable, p. 4:

enter image description here

The next page footnotes:

Our original definition of generic was based on "complete sequences". The present approach is due to Levy [8].

I have found no copies of the Levy papers, but Solovay's citations of 8 and 9, respectively, are:

enter image description here