In keeping with our custom, we are considering only the 1-types of a complete theory T, but the notions which we are going to introduce are equally meaningful for n-types, and have the same properties.
Extension Property Superstable Theory Dichotomy Tree Bibliographic Note Complete Type
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
This is a preview of subscription content, log in to check access.