Abstract
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.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 1976 Springer-Verlag Inc.
About this chapter
Cite this chapter
Monk, J.D. (1976). Elementary Classes and Elementary Equivalence. In: Mathematical Logic. Graduate Texts in Mathematics, vol 37. Springer, New York, NY. https://doi.org/10.1007/978-1-4684-9452-5_27
Download citation
DOI: https://doi.org/10.1007/978-1-4684-9452-5_27
Publisher Name: Springer, New York, NY
Print ISBN: 978-1-4684-9454-9
Online ISBN: 978-1-4684-9452-5
eBook Packages: Springer Book Archive