Timeline for Non-Forcing and Independence
Current License: CC BY-SA 3.0
6 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Mar 1, 2015 at 8:04 | comment | added | Asaf Karagila♦ | I'm not quite sure what are "other similar properties of $\Bbb R$", but I didn't spend too much time looking through the paper (I did look at it, several times in the past as well). I'm not saying that it's not impressive, I'm just saying that it's a bit of cheating if you hide the symmetries in your construction and claim this to be a completely new result unobtainable by forcing. That being said, these are indeed impressive results and an interesting approach. | |
| Mar 1, 2015 at 7:49 | comment | added | Mohammad Golshani | Also in the slide introduced above, it is mentioned that the above methods present the first new models of $ZF$, fifty years after Cohen’s forcing (of course I personally rather work with Cohen's forcing!!!). | |
| Mar 1, 2015 at 7:47 | comment | added | Mohammad Golshani | @AsafKaragila Yes, it might be possible to get this result using symmetric models (though I am not aware of it), and what I wrote above is taken from the abstract of the paper. But note that the model he constructs has more properties (where in the above abstract it is written as "other similar properties of $\mathbb{R}$"). | |
| Mar 1, 2015 at 7:09 | comment | added | Asaf Karagila♦ | Not forcing, but easily with symmetric extensions which can be argued as part if forcing, or at least in the context of this question forcing and inner models. (And if we allow forcing over $\sf ZF$ directly, I'm not sure this is not obtainable with just forcing under some minor assumptions.) | |
| Mar 1, 2015 at 6:14 | history | edited | Mohammad Golshani | CC BY-SA 3.0 |
added 162 characters in body
|
| Mar 1, 2015 at 6:08 | history | answered | Mohammad Golshani | CC BY-SA 3.0 |