Abstract
As explained in the introduction, we are not introducing the language, or formulas, as primitive concepts. This is because the back-and-forth conditions introduced in Chapter 1 are enough to express the basic notions of model theory efficiently. A Fraïsséan extremist would find it pointless to speak of these formulas; at most, he would consider them a heuristic disguise for the study of local isomorphisms. We could compare him to a teacher who, in an elementary class on integral calculus, introduced Lebesgue’s space L 1 as the completion of such-and-such a normed space, and remarked only at the end of the course that it happened to turn out that the elements of L 1 correspond to integrable functions. I shall not adopt such an extreme position, and am now ready to speak of formulas, which are quite handy in some cases for seeing whether relations are elementarily equivalent or not! But as I am not treating them as a principal notion, I shall allow myself to define them quickly, giving short shrift to those petty details of no mathematical content that can discourage the readers of the opening pages of a logic text.
C’est pour, le bon lolo? Pour le Poupousse à sa Dadame? Oh, que c’est bon le miam-miam! L’avait faim le petit chat! Mais que tu es minime! Tu fais des ronrons et des doudouces!...
Madame Durand, French teacher
P.C.
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
© 2000 Springer Science+Business Media New York
About this chapter
Cite this chapter
Poizat, B. (2000). The Language Associated with a Relation. In: A Course in Model Theory. Universitext. Springer, New York, NY. https://doi.org/10.1007/978-1-4419-8622-1_2
Download citation
DOI: https://doi.org/10.1007/978-1-4419-8622-1_2
Publisher Name: Springer, New York, NY
Print ISBN: 978-1-4612-6446-0
Online ISBN: 978-1-4419-8622-1
eBook Packages: Springer Book Archive