Timeline for Is it possible to completely embed complete Heyting algebras into upsets of a poset?
Current License: CC BY-SA 3.0
8 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jun 15, 2020 at 7:27 | history | edited | CommunityBot |
Commonmark migration
|
|
| Mar 11, 2018 at 10:56 | history | edited | godelian | CC BY-SA 3.0 |
added 21 characters in body
|
| Mar 11, 2018 at 9:41 | comment | added | Emil Jeřábek | Yes, I think this would be more clear. The relation between the order on $H$ and the tree order does not enter the argument. | |
| Mar 9, 2018 at 15:14 | comment | added | godelian | @EmilJeřábek Yes, the joins and meets are in H. Maybe I should edit and just not mention H^op? | |
| Mar 9, 2018 at 15:12 | comment | added | Emil Jeřábek | But in the argument, the joins and meets mentioned in 2 seem to be taken in $H$, not in the opposite lattice? | |
| Mar 9, 2018 at 14:42 | comment | added | godelian | @EmilJeřábek It is the opposite poset, i.e., $H$ but with the reverse order. (I would like to picture the tree as growing upwards). | |
| Mar 9, 2018 at 13:36 | comment | added | Emil Jeřábek | What is $H^{op}$ here? | |
| Mar 8, 2018 at 22:27 | history | answered | godelian | CC BY-SA 3.0 |