Amalgamation in Semilinear Residuated Lattices
Fuente:
arXiv
Salvato in:
| Autori principali: | , |
|---|---|
| Natura: | Preprint |
| Pubblicazione: |
2024
|
| Soggetti: | |
| Accesso online: | |
| Tags: |
Aggiungi Tag
Nessun Tag, puoi essere il primo ad aggiungerne!!
|
| _version_ | 1866917738132275200 |
|---|---|
| author | Fussner, Wesley Santschi, Simon |
| author_facet | Fussner, Wesley Santschi, Simon |
| contents | We survey the state of the art on amalgamation in varieties of semilinear residuated lattices. Our discussion emphasizes two prominent cases from which much insight into the general picture may be gleaned: idempotent varieties and their generalizations ($n$-potent varieties, knotted varieties), and cancellative varieties and their relatives (MV-algebras, BL-algebras). Along the way, we illustrate how general-purpose tools developed to study amalgamation can be brought to bear in these contexts and solve some of the remaining open questions concerning amalgamation in semilinear varieties. Among other things, we show that the variety of commutative semilinear residuated lattices does not have the amalgamation property. Taken as a whole, we see that amalgamation is well understood in most interesting varieties of semilinear residuated lattices, with the last few outstanding open questions remaining principally in the cancellative setting. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2407_21613 |
| institution | arXiv |
| publishDate | 2024 |
| record_format | arxiv |
| spellingShingle | Amalgamation in Semilinear Residuated Lattices Fussner, Wesley Santschi, Simon Rings and Algebras Logic 06F05 (primary), 06F15. 03G25 (secondary) We survey the state of the art on amalgamation in varieties of semilinear residuated lattices. Our discussion emphasizes two prominent cases from which much insight into the general picture may be gleaned: idempotent varieties and their generalizations ($n$-potent varieties, knotted varieties), and cancellative varieties and their relatives (MV-algebras, BL-algebras). Along the way, we illustrate how general-purpose tools developed to study amalgamation can be brought to bear in these contexts and solve some of the remaining open questions concerning amalgamation in semilinear varieties. Among other things, we show that the variety of commutative semilinear residuated lattices does not have the amalgamation property. Taken as a whole, we see that amalgamation is well understood in most interesting varieties of semilinear residuated lattices, with the last few outstanding open questions remaining principally in the cancellative setting. |
| title | Amalgamation in Semilinear Residuated Lattices |
| topic | Rings and Algebras Logic 06F05 (primary), 06F15. 03G25 (secondary) |
| url | https://arxiv.org/abs/2407.21613 |