Timeline for Does "finitely presented" mean "always finitely presented"? (Answered: Yes!)
Current License: CC BY-SA 2.5
4 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jan 31, 2021 at 10:50 | comment | added | Thierry Coquand | Yet another way to express this can be found in Chapter IV, comment after Lemma 1.0 page 180 of arxiv.org/pdf/1605.04832.pdf for algebraic structures defined by generators and relations. | |
| Oct 22, 2009 at 14:06 | comment | added | Charles Rezk | Yes, it is Schanuel's lemma (though I didn't know it was called that). And it still looks like a good answer to me! | |
| Oct 22, 2009 at 9:20 | comment | added | Yemon Choi | This is Schanuel's lemma, no? and I think it answers the original question, but maybe I'm missing something | |
| Oct 22, 2009 at 3:12 | history | answered | Charles Rezk | CC BY-SA 2.5 |