Talk:Tame abstract elementary class
 | This article is rated Start-class on Wikipedia's content assessment scale. It is of interest to the following WikiProjects: | ||||||||||
| |||||||||||
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"??