Timeline for Remarkable applications of Dickson's lemma
Current License: CC BY-SA 4.0
6 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Aug 24, 2019 at 2:34 | history | became hot network question | |||
| Aug 24, 2019 at 0:56 | history | made wiki | Post Made Community Wiki by Todd Trimble | ||
| Aug 23, 2019 at 20:57 | answer | added | tim | timeline score: 3 | |
| Aug 23, 2019 at 18:47 | answer | added | Christian Gaetz | timeline score: 7 | |
| Aug 23, 2019 at 18:30 | comment | added | darij grinberg | Constructively, Dickson's lemma is simply saying that the direct product of two Noetherian posets (where "Noetherian" means "you can induct/recurse on it") is Noetherian. This is fundamental to the theory of Gröbner bases (at least with respect to the lexicographic order; for the degree-lexicographic order you can do without). | |
| Aug 23, 2019 at 18:20 | history | asked | Salvo Tringali | CC BY-SA 4.0 |