Product of Invariant Types Modulo Domination-Equivalence

Abstract

We investigate the interaction between the product of invariant types and domination-equivalence. We present a theory where the latter is not a congruence with respect to the former, provide sufficient conditions for it to be, and study the resulting quotient when it is.

Cited by in corpus (5)

• Kim-independence in positive logic
• The domination monoid in henselian valued fields
• Weakly binary expansions of dense meet-trees
• An invitation to extension domination
• The domination monoid in o-minimal theories