Timeline for What to call substructures in universal algebra in which we restrict the signature?
Current License: CC BY-SA 3.0
12 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jun 5, 2012 at 1:34 | comment | added | William DeMeo | In a recent article submission, I used the term subreduct for what you are referring to. I received a very extensive and insightful referee report and many revisions are required, but my use of the term subreduct was never mentioned in the report. I think it is the "right" term for this. | |
| May 4, 2012 at 23:30 | comment | added | Joel David Hamkins | Thanks, Andrej, for helping to keep me on the one true path! ;-) | |
| May 4, 2012 at 20:34 | vote | accept | Andrej Bauer | ||
| May 4, 2012 at 20:34 | comment | added | Andrej Bauer | Excellent, subreduct it is then. I will accept Joel's answer I suppose. We wouldn't want his reputation to veer off the exponential curve. | |
| May 4, 2012 at 14:36 | comment | added | boumol | The "subreduct" term is very common to denote what you are interested. See for instance books.google.es/books?id=T80Nwh7MGa0C&pg=PA205 | |
| May 4, 2012 at 4:35 | comment | added | Gerhard Paseman | I think subreduct has been coopted. Do a literature search before using. Check Chang and Keisler, McKenzie McNulty and Taylor, Burris and Sankappanavar, and Graetzer to start. Gerhard "Away From His Personal Library" Paseman, 2012.05.03 | |
| May 3, 2012 at 22:33 | comment | added | Joel David Hamkins | Seems fine to me! (Unless the model theorists show up with an established terminology...) | |
| May 3, 2012 at 22:29 | comment | added | Andrej Bauer | Hoe about "subreduct"? | |
| May 3, 2012 at 22:28 | history | edited | Joel David Hamkins | CC BY-SA 3.0 |
added 103 characters in body
|
| May 3, 2012 at 22:24 | history | undeleted | Joel David Hamkins | ||
| May 3, 2012 at 22:19 | history | deleted | Joel David Hamkins | ||
| May 3, 2012 at 22:19 | history | answered | Joel David Hamkins | CC BY-SA 3.0 |