Timeline for Reference request for Linton's theorems on equational theories
Current License: CC BY-SA 4.0
9 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jun 22, 2021 at 19:11 | comment | added | Martin Brandenburg | @DmitriPavlov Thanks! This is a good idea. So in v2 I will divide the proof into sections: (1) Description of the monad, (2) Properties of the universal element, (3) Description of the functor C, (4) Fullness of C, (5) Surjectivity of C. | |
| Jun 22, 2021 at 18:51 | comment | added | Dmitri Pavlov | @MartinBrandenburg: Thanks for doing this, it is surprising that an elementary proof has not been written up before. The proof of Theorem A.6 is 3 pages long, it may be beneficial to split it. | |
| Jun 22, 2021 at 6:54 | comment | added | Martin Brandenburg | @Dmitri I did what you suggested (see my answer). o/ | |
| May 12, 2021 at 16:03 | comment | added | Martin Brandenburg | @DmitriPavlov Thank you for the advice! | |
| May 12, 2021 at 15:32 | comment | added | Dmitri Pavlov | @MartinBrandenburg: Since the proofs are already written up, I think it is fine to keep them in an appendix or something. A self-contained reference (including part 2) would be useful. | |
| May 12, 2021 at 8:06 | comment | added | Martin Brandenburg | Thank you! Theorem A.21 uses Birkhoff's variety theorem. Since this detour is not necessary, I wonder if it would still have some value to keep the proof in the paper. | |
| May 11, 2021 at 15:05 | comment | added | Dmitri Pavlov | @varkor: The numeration in the published book has changed compared to the preliminary draft people.math.rochester.edu/faculty/doug/otherpapers/… | |
| May 11, 2021 at 10:51 | comment | added | varkor | In my copy of the book, 1 is Theorem A.38 (Theorem A.42 for multisorted); and 3 is Theorem A.21 (Theorem A.41 for multisorted). (Perhaps there are different editions.) | |
| May 11, 2021 at 2:55 | history | answered | Dmitri Pavlov | CC BY-SA 4.0 |