ABSTRACT

In the preceding chapter we introduced the notion of elementary equivalence. The following theorem summarizes a basic characterization of elementary equivalence, encountered already in Chapter 1: