Timeline for Looking for “Set theory for a small universe” by Ketonen
Current License: CC BY-SA 4.0
5 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Dec 31, 2018 at 6:00 | comment | added | jeq | A belated realization, and full disclosure. I had totally forgotten that my name was mentioned in Ketonen & Solovay's "Rapidly Growing Ramsey Functions", Annals of Mathematics, 113(2), 1981. And that Takeuti's 1987 edition of Proof Theory refers to the "Ketonen-Solovay-Quinsey result on Paris-Harrington's theorem". Notwithstanding, I believe my contribution was peripheral. | |
| Nov 16, 2018 at 10:15 | comment | added | Asaf Karagila♦ | Those pages are not jam-packed. I think it should be fairly straightforward typing this into $\rm\LaTeX$ by someone who is willing to spend a few hours. | |
| Nov 15, 2018 at 22:58 | comment | added | Pedro Sánchez Terraf | Given the popular claim for the paper, I planned to comment that if you finally did the scan, you'd be the hero of the day. Now you are, many thanks. By the way, I was neither successful looking for contact info of Ketonen. | |
| Nov 15, 2018 at 22:54 | vote | accept | Pedro Sánchez Terraf | ||
| Nov 15, 2018 at 17:50 | history | answered | jeq | CC BY-SA 4.0 |