Timeline for Never appeared forthcoming papers
Current License: CC BY-SA 2.5
6 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Mar 10, 2013 at 2:49 | comment | added | Noah Schweber | @Andreas, yes, that's correct. I was just mentioning that paper because one could run across the date, title, and author, and suspect that it was basically the same as the promised Scott/Solovay, which it is not. | |
| Mar 10, 2013 at 2:18 | comment | added | Andreas Blass | @Noah: If I remember correctly this paper of Dana Scott presented Boolean-valued models in the context of second or third order arithmetic, concentrating on the particular Boolean extension obtained by adjoining a lot of random reals. (Or am I remembering a different paper from the one you cited.) I agree that the Dawson-Mansfield paper is a reasonable approximation to the nonexistent Scott-Solovay paper. A more detailed version would, I think, be Bell's book. | |
| Mar 9, 2013 at 22:31 | comment | added | Noah Schweber | Scott did publish a paper - "A proof of the independence of the continuum hypothesis" (Mathematical Systems Theory, vol. 1, iss. 2, 1967) - on Boolean models and forcing, but the treatment was fairly low-level. I suspect that the intended content of the Scott/Solovay paper is closer to that of the paper "Boolean-valued set theory and forcing" (Synthese, vol. 33, no. 1, 1976) by Richard Mansfield and John Dawson, based off of notes from a seminar run by Dana Scott. | |
| Dec 7, 2010 at 1:19 | history | made wiki | Post Made Community Wiki by Anton Geraschenko | ||
| Dec 6, 2010 at 20:02 | comment | added | Peter LeFanu Lumsdaine | Absolutely — a classic of the literature! | |
| Dec 6, 2010 at 19:59 | history | answered | Andreas Blass | CC BY-SA 2.5 |