Some remarks on CM-triviality

抄録

We show that any rosy CM-trivial theory has weak canonical bases, and CM-triviality in the real sort is equivalent to CM-triviality with geometric elimination of imaginaries. We also show that CM-triviality is equivalent to the modularity in O-minimal theories with elimination of imaginaries.