Timeline for Is there a universal way to force the Axiom of Choice to be true?
Current License: CC BY-SA 3.0
5 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Mar 23, 2018 at 19:34 | comment | added | Asaf Karagila♦ | Also Pincus' paper is about relatively specific models. So I don't agree that it is more amenable than claims about $L(\Bbb R)$. | |
| Mar 23, 2018 at 19:31 | comment | added | Asaf Karagila♦ | Uhh, are you sure about that stationary-co-stationary? Because if you just look at Solovay's model obtained by the least inaccessible $\kappa$ being collapsed to be the new $\omega_1$, then you did not kill the stationarity of subsets of $\kappa$ in $L(\Bbb R)$, but there is no $\omega_1$ sequence of reals. | |
| Mar 23, 2018 at 18:29 | comment | added | Rachid Atmai | Yes, I meant to write $Coll(\omega_1,\mathbb{R})$, which under $DC$ wellorders the continuum in length $\aleph_1$. | |
| Mar 23, 2018 at 18:15 | comment | added | Trevor Wilson | What is $\text{Coll}(\omega,\mathord{<}\mathbb{R})$? Does it mean the same thing as $\text{Coll}(\omega_1,\mathbb{R})$? | |
| Mar 23, 2018 at 17:36 | history | answered | Rachid Atmai | CC BY-SA 3.0 |