Timeline for Models of $AD$ different from $L(\mathbb{R})$
Current License: CC BY-SA 3.0
5 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Dec 2, 2011 at 7:18 | answer | added | Trevor Wilson | timeline score: 3 | |
| Nov 21, 2011 at 13:41 | comment | added | Stefan Geschke | I have to say that I am a bit puzzled by the statement "today it is known that AD is true in $L(\mathbb R)$". I understand what you mean, under large cardinal assumptions AD is true in $L(\mathbb R)$, but most people, no matter how close to the Berkeley school of set theory, usually feel the need to mention that large cardinal assumptions are necessary here. | |
| Nov 20, 2011 at 22:02 | comment | added | Andrés E. Caicedo | There are many models where AD holds, but of course this depends on what background assumptions you allow. You can get models of the form $L(\Gamma,{\mathbb R})$ where $\Gamma$ is a collection of sets of reals, for example, and the larger $\Gamma$ is, the more interesting the model you obtain. | |
| Nov 20, 2011 at 21:35 | answer | added | Andreas Blass | timeline score: 5 | |
| Nov 20, 2011 at 21:22 | history | asked | Rachid Atmai | CC BY-SA 3.0 |