论文标题
密集的二元扩展弱二元扩展
Weakly binary expansions of dense meet-trees
论文作者
论文摘要
我们在密集的聚会的理论DMT理论中计算了统治性单体。为了证明这种单体定义明确，我们证明了DMT的较弱的二进制性，更普遍地是通过二元关系在开放式锥体上进行的某些扩展的二进制，特殊情况是Arxiv的理论DTR：1909.04626。然后，我们根据扩展关系的统治性占主导地位。
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.
