Timeline for Using zero-sharp to characterize L
Current License: CC BY-SA 2.5
2 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jan 21, 2011 at 23:40 | comment | added | Andrés E. Caicedo | Hi Joel. Let me add that the argument in your answer is usually presented as part of the Gaifman-Rowbottom theorem of 1965: If there is a measurable, then the set of reals in L is countable. Although this can be proved somewhat more directly, The presentation in terms of embeddings ("linear iterations") is key. Actually, I now remember I once wrote a short note on this: caicedoteaching.files.wordpress.com/2011/01/118-handout6.pdf | |
| Jan 21, 2011 at 23:33 | history | answered | Joel David Hamkins | CC BY-SA 2.5 |