Definability of band structures on posets
Fuente:
arXiv
Gespeichert in:
| Hauptverfasser: | , , |
|---|---|
| Format: | Preprint |
| Veröffentlicht: |
2024
|
| Schlagworte: | |
| Online-Zugang: | |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| _version_ | 1866917763935633408 |
|---|---|
| author | Kuperman, Joel Petrovich, Alejandro Terraf, Pedro Sánchez |
| author_facet | Kuperman, Joel Petrovich, Alejandro Terraf, Pedro Sánchez |
| contents | The idempotent semigroups (bands) that give rise to partial orders by defining $a \leq b \iff a \cdot b = a$ are the "right-regular" bands (RRB), which are axiomatized by $x\cdot y \cdot x = y \cdot x$. In this work we consider the class of "associative posets", which comprises all partial orders underlying right-regular bands, and study to what extent the ordering determines the possible "compatible" band structures and their canonicity.
We show that the class of associative posets in the signature $\{ \leq \}$ is not first-order axiomatizable. We also show that the Axiom of Choice is equivalent over $\mathit{ZF}$ to the fact that every tree with finite branches is associative.
We study the smaller class of "normal" posets (corresponding to right-normal bands) and give a structural characterization. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2404_07877 |
| institution | arXiv |
| publishDate | 2024 |
| record_format | arxiv |
| spellingShingle | Definability of band structures on posets Kuperman, Joel Petrovich, Alejandro Terraf, Pedro Sánchez Logic Rings and Algebras 06F05, 03E25, 08B20, 20M07 The idempotent semigroups (bands) that give rise to partial orders by defining $a \leq b \iff a \cdot b = a$ are the "right-regular" bands (RRB), which are axiomatized by $x\cdot y \cdot x = y \cdot x$. In this work we consider the class of "associative posets", which comprises all partial orders underlying right-regular bands, and study to what extent the ordering determines the possible "compatible" band structures and their canonicity. We show that the class of associative posets in the signature $\{ \leq \}$ is not first-order axiomatizable. We also show that the Axiom of Choice is equivalent over $\mathit{ZF}$ to the fact that every tree with finite branches is associative. We study the smaller class of "normal" posets (corresponding to right-normal bands) and give a structural characterization. |
| title | Definability of band structures on posets |
| topic | Logic Rings and Algebras 06F05, 03E25, 08B20, 20M07 |
| url | https://arxiv.org/abs/2404.07877 |