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.
Settore MATH-01/A - Logica matematica
2022
Article (author)
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.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/2434/1131909
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 3
  • ???jsp.display-item.citation.isi??? 2
social impact