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_ | 1866908988613853184 |
|---|---|
| author | Carai, Luca Kurtzhals, Miriam Moraschini, Tommaso |
| author_facet | Carai, Luca Kurtzhals, Miriam Moraschini, Tommaso |
| contents | A family of partial functions of a class of algebras $\mathsf{K}$ is said to be an implicit operation of $\mathsf{K}$ when it is defined by a first order formula and it is preserved by homomorphisms. In this work, we develop the theory of implicit operations from an algebraic standpoint. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2512_14326 |
| institution | arXiv |
| publishDate | 2025 |
| record_format | arxiv |
| spellingShingle | The theory of implicit operations Carai, Luca Kurtzhals, Miriam Moraschini, Tommaso Rings and Algebras Logic A family of partial functions of a class of algebras $\mathsf{K}$ is said to be an implicit operation of $\mathsf{K}$ when it is defined by a first order formula and it is preserved by homomorphisms. In this work, we develop the theory of implicit operations from an algebraic standpoint. |
| title | The theory of implicit operations |
| topic | Rings and Algebras Logic |
| url | https://arxiv.org/abs/2512.14326 |