Abstract
Model theory the part of logic that studies structures (in Bourbaki’s sense) in relation to their descriptions in formal languages, usually first-order ones. The study of structures and classes of structures is essentially a subject of algebra or universal algebra, but model theory is different in its approach in that it places a special emphasis on the question of language and definability in the structures. This approach has paid off with applications in various parts of concrete mathematics.
This is a preview of subscription content, log in via an institution to check access.
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
Corresponding author
Rights and permissions
Copyright information
© 2009 Springer-Verlag New York
About this chapter
Cite this chapter
Manin, Y.I. (2009). Model Theory. In: A Course in Mathematical Logic for Mathematicians. Graduate Texts in Mathematics, vol 53. Springer, New York, NY. https://doi.org/10.1007/978-1-4419-0615-1_10
Download citation
DOI: https://doi.org/10.1007/978-1-4419-0615-1_10
Published:
Publisher Name: Springer, New York, NY
Print ISBN: 978-1-4419-0614-4
Online ISBN: 978-1-4419-0615-1
eBook Packages: Mathematics and StatisticsMathematics and Statistics (R0)