Weakly binary expansions of dense meet‐trees

Mathematical Logic Quarterly 68 (1):32-47 (2022)
  Copy   BIBTEX

Abstract

We compute the domination monoid in the theory of dense meet‐trees. In order to show that this monoid is well‐defined, we prove weak binarity of and, more generally, of certain expansions of it by binary relations on sets of open cones, a special case being the theory from [7]. We then describe the domination monoids of such expansions in terms of those of the expanding relations.

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,590

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Analytics

Added to PP
2022-04-10

Downloads
14 (#264,824)

6 months
11 (#1,140,922)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Semi-Equational Theories.Artem Chernikov & Alex Mennen - forthcoming - Journal of Symbolic Logic:1-32.

Add more citations

References found in this work

On dp-minimal ordered structures.Pierre Simon - 2011 - Journal of Symbolic Logic 76 (2):448 - 460.
On variants of o-minimality.Dugald Macpherson & Charles Steinhorn - 1996 - Annals of Pure and Applied Logic 79 (2):165-209.
Invariant types in NIP theories.Pierre Simon - 2015 - Journal of Mathematical Logic 15 (2):1550006.
Product of invariant types modulo domination–equivalence.Rosario Mennuni - 2020 - Archive for Mathematical Logic 59 (1):1-29.
Non-forking and preservation of NIP and dp-rank.Pedro Andrés Estevan & Itay Kaplan - 2021 - Annals of Pure and Applied Logic 172 (6):102946.

View all 7 references / Add more references