Talk:Tame abstract elementary class

Definition

Types (over M) are (in this article) defined as equivalence classes of elements of the monster model. The AEC K is called "tame" ...

... if there exists a cardinal k such that any two distinct Galois types are already distinct on a submodel of their domain of size at most k.

I assume that by "domain" you mean the set M. But what does it mean for two types to be "distinct on the submodel S"??

--217.149.175.15 (talk) 20:11, 18 September 2018 (UTC)