Conflicting and Alternative Terminology
While the above is nowadays standard terminology in "infinite" model theory, the slightly different earlier definitions are still in use in finite model theory, where an elementary class may be called a Δ-elementary class, and the terms elementary class and first-order axiomatizable class are reserved for basic elementary classes (Ebbinghaus et al. 1994, Ebbinghaus and Flum 2005). Hodges calls elementary classes axiomatizable classes, and he refers to basic elementary classes as definable classes. He also uses the respective synonyms EC class and EC class (Hodges, 1993).
There are good reasons for this diverging terminology. The signatures that are considered in general model theory are often infinite, while a single first-order sentence contains only finitely many symbols. Therefore basic elementary classes are atypical in infinite model theory. Finite model theory, on the other hand, deals almost exclusively with finite signatures. It is easy to see that for every finite signature σ and for every class K of σ-structures closed under isomorphism there is an elementary class of σ-structures such that K and contain precisely the same finite structures. Hence elementary classes are not very interesting for finite model theorists.
Read more about this topic: Elementary Class
Famous quotes containing the words conflicting and, conflicting and/or alternative:
“Many more children observe attitudes, values and ways different from or in conflict with those of their families, social networks, and institutions. Yet today’s young people are no more mature or capable of handling the increased conflicting and often stimulating information they receive than were young people of the past, who received the information and had more adult control of and advice about the information they did receive.”
—James P. Comer (20th century)
“Certainly for us of the modern world, with its conflicting claims, its entangled interests, distracted by so many sorrows, so many preoccupations, so bewildering an experience, the problem of unity with ourselves in blitheness and repose, is far harder than it was for the Greek within the simple terms of antique life. Yet, not less than ever, the intellect demands completeness, centrality.”
—Walter Pater (1839–1894)
“Our mother gives us our earliest lessons in love—and its partner, hate. Our father—our “second other”Melaborates on them. Offering us an alternative to the mother-baby relationship . . . presenting a masculine model which can supplement and contrast with the feminine. And providing us with further and perhaps quite different meanings of lovable and loving and being loved.”
—Judith Viorst (20th century)