Skip to main content
5 events
when toggle format what by license comment
Mar 29, 2019 at 0:14 comment added Dan Petersen To confirm what Robert is saying, Solovay writes in a footnote on the first page of his paper: "The main results of this paper were proved in March-July, 1964, and were presented at the July meeting of the Association for Symbolic Logic at Bristol, England".
Mar 28, 2019 at 22:50 comment added Robert Furber @AndrésE.Caicedo Thanks for the correction. I'll leave the answer in case someone else matches the dates up and comes to a similar conclusion.
Mar 28, 2019 at 22:47 comment added Andrés E. Caicedo It happened afterwards
S Mar 28, 2019 at 22:44 history answered Robert Furber CC BY-SA 4.0
S Mar 28, 2019 at 22:44 history made wiki Post Made Community Wiki by Robert Furber