An addendum to "The theory of implicit operations"
Fuente:
arXiv
Saved in:
| Main Authors: | , , |
|---|---|
| Format: | Preprint |
| Published: |
2025
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866915703185997824 |
|---|---|
| author | Carai, Luca Kurtzhals, Miriam Moraschini, Tommaso |
| author_facet | Carai, Luca Kurtzhals, Miriam Moraschini, Tommaso |
| contents | In this addendum to [4], we provide a pair of counterexamples relevant to the theory of implicit operations. More precisely, we exhibit a pp expansion of a variety that fails to be a variety (although it is a quasivariety). Furthermore, we construct a sequence of varieties possessing a nonequational congruence preserving Beth companion. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2601_00006 |
| institution | arXiv |
| publishDate | 2025 |
| record_format | arxiv |
| spellingShingle | An addendum to "The theory of implicit operations" Carai, Luca Kurtzhals, Miriam Moraschini, Tommaso Rings and Algebras Logic In this addendum to [4], we provide a pair of counterexamples relevant to the theory of implicit operations. More precisely, we exhibit a pp expansion of a variety that fails to be a variety (although it is a quasivariety). Furthermore, we construct a sequence of varieties possessing a nonequational congruence preserving Beth companion. |
| title | An addendum to "The theory of implicit operations" |
| topic | Rings and Algebras Logic |
| url | https://arxiv.org/abs/2601.00006 |