Assertion: cm triviality | /r/HasProperty | equivalent
Facets:
Source sentences:
text: 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.
text: We also show that CM-triviality is equivalent to the modularity in O-minimal theories with elimination of imaginaries.