Timeline for AC in group isomorphism between R and R^2
Current License: CC BY-SA 2.5
4 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| May 21, 2010 at 14:55 | comment | added | François G. Dorais | You're right Andres; I was assuming that by using category instead of measure, Gerald wanted to avoid Solovay's inaccessible. | |
| May 20, 2010 at 23:15 | comment | added | Andrés E. Caicedo | Hi François, I don't think this is entirely accurate. Solovay's model has the property Gerald mentions (every set of reals there is Lebesgue measurable, has the property of Baire, the perfect set property, is Ramsey). It is true, though, that Solovay's construction requires an inaccessible and Shelah later showed, in the paper you mentioned, that for the property of Baire one could build such a model without this assumption. | |
| May 20, 2010 at 17:08 | comment | added | François G. Dorais | The model is due to Shelah, not Solovay. (Though the title of the paper is Can you take Solovay's inaccessible away?) | |
| May 20, 2010 at 15:41 | history | answered | Gerald Edgar | CC BY-SA 2.5 |