We compute the domination monoid in the theory DMT of dense meet-trees. In order to show that this monoid is well-defined, we prove weak binarity of DMT and, more generally, of certain expansions of it by binary relations on sets of open cones, a special case being the theory DTR from [7]. We then describe the domination monoids of such expansions in terms of those of the expanding relations.
Weakly binary expansions of dense meet‐trees
Mennuni, Rosario
2022-01-01
Abstract
We compute the domination monoid in the theory DMT of dense meet-trees. In order to show that this monoid is well-defined, we prove weak binarity of DMT and, more generally, of certain expansions of it by binary relations on sets of open cones, a special case being the theory DTR from [7]. We then describe the domination monoids of such expansions in terms of those of the expanding relations.File in questo prodotto:
| File | Dimensione | Formato | |
|---|---|---|---|
|
Mennuni - 2022 - Weakly binary expansions of dense meet-trees.pdf
accesso aperto
Tipologia:
Versione finale editoriale
Licenza:
Creative commons
Dimensione
384.48 kB
Formato
Adobe PDF
|
384.48 kB | Adobe PDF | Visualizza/Apri |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
