We compute the domination monoid in the theory (Formula presented.) of dense meet-trees. In order to show that this monoid is well-defined, we prove weak binarity of (Formula presented.) and, more generally, of certain expansions of it by binary relations on sets of open cones, a special case being the theory (Formula presented.) 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 / R. Mennuni. - In: MATHEMATICAL LOGIC QUARTERLY. - ISSN 0942-5616. - 68:1(2022), pp. 32-47. [10.1002/malq.202000045]
Weakly binary expansions of dense meet-trees
R. Mennuni
2022
Abstract
We compute the domination monoid in the theory (Formula presented.) of dense meet-trees. In order to show that this monoid is well-defined, we prove weak binarity of (Formula presented.) and, more generally, of certain expansions of it by binary relations on sets of open cones, a special case being the theory (Formula presented.) 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 | |
---|---|---|---|
Mathematical Logic Qtrly - 2021 - Mennuni - Weakly binary expansions of dense meet‐trees.pdf
accesso aperto
Tipologia:
Publisher's version/PDF
Dimensione
395.02 kB
Formato
Adobe PDF
|
395.02 kB | Adobe PDF | Visualizza/Apri |
Pubblicazioni consigliate
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.