Elementary Classes and Elementary Equivalence
We now investigate the basic notions of first-order logic. We shall give mathematical characterizations of elementary classes due to Fraissé, Ehrenfeucht, and Keisler and Shelah. The fundamental results of first-order logic are distinguished from more general languages by a theorem of Lindstrom.
KeywordsModel Theory Atomic Formula Elementary Equivalence Winning Strategy General Logic
Unable to display preview. Download preview PDF.