Talk:Tame abstract elementary class
 | This article has not yet been rated on Wikipedia's content assessment scale. |
Definition[edit]
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)