Timeline for Finite distributive lattices not contained in $\omega^\omega$
Current License: CC BY-SA 3.0
5 events
when toggle format | what | by | license | comment | |
---|---|---|---|---|---|
Apr 12, 2015 at 18:17 | comment | added | Włodzimierz Holsztyński | Bjørn, that's why I said just :-) | |
Apr 12, 2015 at 8:46 | comment | added | Bjørn Kjos-Hanssen | Agreed @WłodzimierzHolsztyński, although apparently it was in the same minute, and the seconds are not recorded. | |
Apr 12, 2015 at 8:25 | comment | added | Włodzimierz Holsztyński | Bjørn, I think that you essentially said what Richard said just before you. Anyway, the theorem about representation of distributive lattices as lattices of sets, with their set-theoretic operations, is as classical as possible. The embedding is an instant corollary. | |
Apr 8, 2015 at 7:05 | vote | accept | Dominic van der Zypen | ||
Apr 12, 2015 at 6:55 | |||||
Apr 6, 2015 at 19:03 | history | answered | Bjørn Kjos-Hanssen | CC BY-SA 3.0 |