Timeline for Shape of axioms in algebraic structures
Current License: CC BY-SA 3.0
3 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jan 25, 2014 at 19:40 | comment | added | Denis | the motivation is to generalize theorems of varieties of monoid of Reiterman and Eilenberg to more general structures. I don't know whether structures with this kind of axioms are valid, or if I have to restrict to structures defined only via equations without implication. Even more precisely, I want monoids to be quipped with an explicit operator omega, which is required to correspond to idempotent power in finite structures. | |
| Sep 29, 2013 at 0:40 | comment | added | Mariano Suárez-Álvarez | That said, we could use more descriptions in iambic pentameters... | |
| Jul 25, 2013 at 16:40 | history | answered | The Masked Avenger | CC BY-SA 3.0 |