Saved in:
| Main Author: | |
|---|---|
| Format: | Preprint |
| Published: |
2024
|
| Subjects: | |
| Online Access: | https://arxiv.org/abs/2411.17004 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866913585911824384 |
|---|---|
| author | Muro, Mateo |
| author_facet | Muro, Mateo |
| contents | In this paper, we prove the following characterization: an abelian Mal'cev variety is finitely based if and only it has finite type, its ring of idempotent binary terms is finitely presented, and its module of unary terms is finitely presented. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2411_17004 |
| institution | arXiv |
| publishDate | 2024 |
| record_format | arxiv |
| spellingShingle | Characterizing Finitely Based Abelian Mal'cev Algebras Muro, Mateo Logic In this paper, we prove the following characterization: an abelian Mal'cev variety is finitely based if and only it has finite type, its ring of idempotent binary terms is finitely presented, and its module of unary terms is finitely presented. |
| title | Characterizing Finitely Based Abelian Mal'cev Algebras |
| topic | Logic |
| url | https://arxiv.org/abs/2411.17004 |