Abstract
The aim of this chapter is to sketch out basic model theory. We wish to summarize some key facts for people already acquainted with them, but also, at the same time, to introduce them to people unfamiliar to logic, and perhaps disliking too many logical details. Accordingly we will use a rather colloquial tone. The fundamental question to be answered is: what is Model Theory? As we will see in more detail in Section 1.2, Model Theory is -or, more precisely, was at its beginning- the study of the relationship between mathematical formulas and structures satisfying or rejecting them. But, in order to fully appreciate this matter, it is advisable for us preliminarily to recall what a structure is, and which kind of formulas we are dealing with. This section is devoted to the former concept.
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
© 2003 Springer Science+Business Media New York
About this chapter
Cite this chapter
Marcja, A., Toffalori, C. (2003). Structures. In: A Guide to Classical and Modern Model Theory. Trends in Logic, vol 19. Springer, Dordrecht. https://doi.org/10.1007/978-94-007-0812-9_1
Download citation
DOI: https://doi.org/10.1007/978-94-007-0812-9_1
Publisher Name: Springer, Dordrecht
Print ISBN: 978-1-4020-1331-7
Online ISBN: 978-94-007-0812-9
eBook Packages: Springer Book Archive