Timeline for What's a magical theorem in logic?
Current License: CC BY-SA 3.0
7 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Oct 24, 2011 at 16:56 | history | edited | Todd Trimble | CC BY-SA 3.0 |
added 1575 characters in body; added 1 characters in body
|
| Oct 24, 2011 at 0:32 | comment | added | François G. Dorais | Todd, could you include that in your edit of this cw post? That would be fantastic... Thanks! | |
| Oct 23, 2011 at 20:51 | comment | added | Todd Trimble | I think it's magical enough, and it has powerful generalizations, as in Gabriel-Ulmer duality, and the theory of locally presentable categories. | |
| Aug 30, 2011 at 16:57 | comment | added | Gerhard Paseman | OK. Omitting some technical detail, here are a few examples of such classes: commutative semigroups, groups of exponent 7, some classes of near-rings, the modules over a given fixed ring R, join-meet lattices, algebras with a single ternary operation representing majority, the one-element algebras of many classes, Heyting algebras, ... (and, yes, groups) . A text I like to recommend for more examples and information is "Algebras, Lattices, Varieties" by R. McKenzie, G. McNulty, and W. Taylor. Gerhard "Ask Me About System Design" Paseman, 2011.08.30 | |
| Aug 30, 2011 at 11:53 | comment | added | François G. Dorais | A good example might be nice... Groups? | |
| Aug 30, 2011 at 11:51 | history | edited | François G. Dorais | CC BY-SA 3.0 |
improved formatting
|
| Aug 30, 2011 at 0:35 | history | answered | Gerhard Paseman | CC BY-SA 3.0 |