Publication details
Birkhoff's Variety Theorem in Many Sorts
| Authors | |
|---|---|
| Year of publication | 2012 |
| Type | Article in Periodical |
| Magazine / Source | Algebra Universalis |
| MU Faculty or unit | |
| Citation | |
| Doi | http://dx.doi.org/10.1007/s00012-012-0185-0 |
| Field | General mathematics |
| Keywords | Birkhoff's theorem;many-sorted variety |
| Attached files | |
| Description | There is proved the many-sorted version of the classical Birkhoff's variety theorem. |
| Related projects: |