ABSTRACT

In the previous part we investigated structures with respect to the sentences they satisfy and with respect to their definable sets. With the notion of type we have a finer way of doing this. In this chapter we look at two extreme kinds of structures, those that realize as many types as possible—the so-called saturated structures—and those that realize as few types as possible—the so-called atomic structures.