Timeline for Long chains of Dedekind finite sets
Current License: CC BY-SA 4.0
9 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Mar 30 at 17:03 | vote | accept | Ynir Paz | ||
| Mar 30 at 17:03 | comment | added | Ynir Paz | I should have been clearer, what I didn't understand was why the union of these sets must be Dedekind finite. But I took a look at the paper now and I see that there is a Dedekind finite class that surjects into $V$, and that's enough to construct these sets. | |
| Mar 30 at 15:36 | comment | added | Asaf Karagila♦ | @YnirPaz: The point is that $\alpha\mapsto A_\alpha$ is an amenable class function, and we can add a predicate for $\{A_\alpha\mid\alpha\in\rm Ord\}$. And moreover, the union of these sets is itself Dedekind-finite. | |
| Mar 30 at 14:14 | comment | added | Ynir Paz | I don't understand the $\sf Ord$ chain construction. Assuming $F(\alpha)$ maps onto $\alpha$ for all $\alpha$, then what exactly is the sequence? | |
| Mar 30 at 13:43 | comment | added | Asaf Karagila♦ | Ducking auto portrait. | |
| Mar 30 at 13:00 | history | edited | Andrés E. Caicedo | CC BY-SA 4.0 |
added 1 character in body
|
| Mar 30 at 11:29 | comment | added | Joel David Hamkins | You say into $\alpha$, in first paragraph, but I think you mean onto. | |
| Mar 30 at 10:52 | comment | added | Asaf Karagila♦ | Apologies for the bad citation formatting, I'm typing this on my phone. | |
| Mar 30 at 10:50 | history | answered | Asaf Karagila♦ | CC BY-SA 4.0 |