Timeline for Is $({\cal P}(\omega), \leq_{\text{inj}})$ a distributive lattice?
Current License: CC BY-SA 3.0
10 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Oct 25, 2017 at 14:43 | comment | added | Bjørn Kjos-Hanssen | @NikWeaver ah yes... I didn't know of that earlier Q&A | |
| Oct 25, 2017 at 11:18 | comment | added | Nik Weaver | Isn't this the same thing I said in my answer yesterday? | |
| Oct 25, 2017 at 8:14 | comment | added | Dominic van der Zypen | Brilliant workaround! | |
| Oct 25, 2017 at 6:28 | comment | added | Bjørn Kjos-Hanssen | Yes, I think we can say finite sets have $a_i=-\infty$ for large $i$. So for instance $A=\emptyset$ has $a_i=-\infty$ for all $i$, and $A=\{0\}$ has $a_0=0$, $a_i=-\infty$ for $i>0$. | |
| Oct 25, 2017 at 6:05 | vote | accept | Dominic van der Zypen | ||
| Oct 25, 2017 at 6:04 | comment | added | Dominic van der Zypen | Oh -- I just forgot about them...! So you get $\omega^\omega$ "with some countable stuff below"? | |
| Oct 25, 2017 at 6:01 | comment | added | Bjørn Kjos-Hanssen | Well... also have to say something about the finite sets | |
| Oct 25, 2017 at 6:00 | vote | accept | Dominic van der Zypen | ||
| Oct 25, 2017 at 6:04 | |||||
| Oct 25, 2017 at 6:00 | comment | added | Dominic van der Zypen | Brilliant -- and thanks for the link to $\omega^\omega$! | |
| Oct 25, 2017 at 5:50 | history | answered | Bjørn Kjos-Hanssen | CC BY-SA 3.0 |