Abstract
We suggest a method of finding a notion of type to abstract elementary classes and determine under what assumption on these types the class has a well-behaved homogeneous and universal "monster" model, where homogeneous and universal are defined relative to our notion of type.
Citation
Tapani Hyttinen. "Types in Abstract Elementary Classes." Notre Dame J. Formal Logic 45 (2) 99 - 108, 2004. https://doi.org/10.1305/ndjfl/1095386646
Information