Salvato in:
| Autori principali: | , |
|---|---|
| Natura: | Preprint |
| Pubblicazione: |
2024
|
| Soggetti: | |
| Accesso online: | https://arxiv.org/abs/2401.02754 |
| Tags: |
Aggiungi Tag
Nessun Tag, puoi essere il primo ad aggiungerne!!
|
| _version_ | 1866916081478664192 |
|---|---|
| author | Aglianó, Paolo CItkin, Alex |
| author_facet | Aglianó, Paolo CItkin, Alex |
| contents | In this paper we study various forms of (hereditary) structural completeness for quasivarieties of algebras, using mostly algebraic techniques. More specifically we study relative weakly projective algebras and the way they interact with structural completeness in quasivarieties. These ideas are then applied to the study of $C$-structural completeness and $C$-primitivity, through an algebraic generalization of Prucnal's substitution. Finally we study in depth dual i-discriminator quasivarieties in which a particular instance of Prucnal's substitution is used to prove that if each fundamental operation commutes with the i-discriminator, then it is primitive. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2401_02754 |
| institution | arXiv |
| publishDate | 2024 |
| record_format | arxiv |
| spellingShingle | Structural completeness in quasivarieties Aglianó, Paolo CItkin, Alex Logic In this paper we study various forms of (hereditary) structural completeness for quasivarieties of algebras, using mostly algebraic techniques. More specifically we study relative weakly projective algebras and the way they interact with structural completeness in quasivarieties. These ideas are then applied to the study of $C$-structural completeness and $C$-primitivity, through an algebraic generalization of Prucnal's substitution. Finally we study in depth dual i-discriminator quasivarieties in which a particular instance of Prucnal's substitution is used to prove that if each fundamental operation commutes with the i-discriminator, then it is primitive. |
| title | Structural completeness in quasivarieties |
| topic | Logic |
| url | https://arxiv.org/abs/2401.02754 |