Timeline for Proof of glb and lub of lexicographic product of poset
Current License: CC BY-SA 4.0
14 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Aug 11 at 12:46 | history | edited | Jukka Kohonen | CC BY-SA 4.0 |
tag fix (order lattices) etc.
|
| S Dec 22, 2020 at 0:01 | history | suggested | HDB | CC BY-SA 4.0 |
Fixed Spacing
|
| Dec 21, 2020 at 21:56 | review | Suggested edits | |||
| S Dec 22, 2020 at 0:01 | |||||
| May 4, 2010 at 5:56 | history | edited | Kim Morrison | CC BY-SA 2.5 |
deleted 17 characters in body
|
| May 3, 2010 at 20:46 | comment | added | GrahamJenson | Arr, if I knew you could put TeX I would of just gone straight for that. Cheers, also corrected the meet. | |
| May 3, 2010 at 20:43 | history | edited | GrahamJenson | CC BY-SA 2.5 |
edited body; added 17 characters in body
|
| May 3, 2010 at 12:45 | answer | added | Joel David Hamkins | timeline score: 3 | |
| May 3, 2010 at 12:38 | answer | added | Gerald Edgar | timeline score: 1 | |
| May 3, 2010 at 12:33 | comment | added | Gerald Edgar | For the last clause of meet, I would expect to get $(a \wedge_1 a', 1_2)$ | |
| May 3, 2010 at 7:04 | comment | added | Yemon Choi | I've reformatted the original -- hopefully I haven't introduced any errors. Could the original questioner please check and let us know if the formulas above are still correct? | |
| May 3, 2010 at 7:03 | history | edited | Yemon Choi | CC BY-SA 2.5 |
reformatted with LaTeX
|
| May 3, 2010 at 7:03 | history | edited | GrahamJenson | CC BY-SA 2.5 |
added 32 characters in body
|
| May 3, 2010 at 5:52 | comment | added | Dan Ramras | The last two lines here are quite mysterious to me. I suggest you try to edit this to make it more readable, and improve the notation. | |
| May 3, 2010 at 5:30 | history | asked | GrahamJenson | CC BY-SA 2.5 |