稠密交树的弱二元展开
Weakly binary expansions of dense meet-trees
AI总结：
本文通过证明稠密交树理论DMT及其若干二元关系展开的弱二元性，计算并描述了这些理论的支配幺半群，并利用展开关系的支配幺半群给出刻画。
摘要：
我们计算了稠密交树理论DMT中的支配幺半群。为了证明该幺半群是良定义的，我们证明了DMT的弱二元性，并且更一般地，证明了通过在开锥集合上的二元关系对其进行某些展开后的弱二元性，其中一个特例是来自arXiv:1909.04626的理论DTR。然后，我们根据展开关系的支配幺半群来描述此类展开的支配幺半群。
英文摘要：
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 arXiv:1909.04626. We then describe the domination monoids of such expansions in terms of those of the expanding relations.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
