Timeline for Aronszajn Trees when AC fails
Current License: CC BY-SA 4.0
6 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jan 2, 2020 at 18:31 | comment | added | Asaf Karagila♦ | See you in a week or so. You can thank me in person. | |
| Jan 2, 2020 at 18:31 | comment | added | Corey Bacal Switzer | Great thanks so much. | |
| Jan 2, 2020 at 18:30 | comment | added | Asaf Karagila♦ | Sure. Why not? You can do anything to anything. See the very last section of my paper "Preserving Dependent Choice". (dx.doi.org/10.4064/ba8169-12-2018 or arxiv.org/abs/1810.11301) | |
| Jan 2, 2020 at 18:29 | comment | added | Corey Bacal Switzer | This is very helpful, thanks! Are there restrictions on this tree you add besides the fact that its universe can't be well orderable? For instance, suppose that $\mathsf{AD}$ holds in $L(\mathbb R)$ and, in $V$ there is some particular Aronszajn tree $T$ I like. Can I add a a tree $T'$ using the forcing you're describing so that (in $V$) $T$ and $T'$ are isomorphic? | |
| Jan 2, 2020 at 18:26 | vote | accept | Corey Bacal Switzer | ||
| Jan 2, 2020 at 16:21 | history | answered | Asaf Karagila♦ | CC BY-SA 4.0 |