Saved in:
| Main Authors: | , |
|---|---|
| Format: | Preprint |
| Published: |
2024
|
| Subjects: | |
| Online Access: | https://arxiv.org/abs/2402.14681 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866929289257025536 |
|---|---|
| author | Mruczek-Nasieniewska, Krystyna Klonowski, Mateusz |
| author_facet | Mruczek-Nasieniewska, Krystyna Klonowski, Mateusz |
| contents | The Płonka sum is an algebra determined using a structure called a direct system. By a direct system, we mean an indexed family of algebras with disjoint universes whose indexes form a join-semilattice s.t. if two indexes are in a partial order relation, then there is a homomorphism from the algebra of the first index to the algebra of the second index. The sum of the sets of the direct system determines the universe of the Płonka sum. Therefore, to speak about a Płonka sum, there must be a direct system on which this algebra is based. However, we can look at a Płonka sum the other way around, considering it as some given algebra, and ask whether it is possible to determine all direct systems of it systematically.
In our paper, we will decompose the Płonka sum in such a way as to give a solution to the indicated problem. Moreover, our method works for any algebra of the kind considered in the article, and thus, we can determine if a given algebra is a Płonka sum. The proposed method is based on two concepts introduced in the paper: isolated algebra and Płonka homomorphism. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2402_14681 |
| institution | arXiv |
| publishDate | 2024 |
| record_format | arxiv |
| spellingShingle | Decomposition of Płonka sums into direct systems Mruczek-Nasieniewska, Krystyna Klonowski, Mateusz Logic The Płonka sum is an algebra determined using a structure called a direct system. By a direct system, we mean an indexed family of algebras with disjoint universes whose indexes form a join-semilattice s.t. if two indexes are in a partial order relation, then there is a homomorphism from the algebra of the first index to the algebra of the second index. The sum of the sets of the direct system determines the universe of the Płonka sum. Therefore, to speak about a Płonka sum, there must be a direct system on which this algebra is based. However, we can look at a Płonka sum the other way around, considering it as some given algebra, and ask whether it is possible to determine all direct systems of it systematically. In our paper, we will decompose the Płonka sum in such a way as to give a solution to the indicated problem. Moreover, our method works for any algebra of the kind considered in the article, and thus, we can determine if a given algebra is a Płonka sum. The proposed method is based on two concepts introduced in the paper: isolated algebra and Płonka homomorphism. |
| title | Decomposition of Płonka sums into direct systems |
| topic | Logic |
| url | https://arxiv.org/abs/2402.14681 |