Abstract
Abstract Model theory studies the class of models of a given theory. We have already encountered two theorems that tend in this direction: the completeness theorem and the powerful compactness theorem, both of which assert that, under certain conditions, this class is not empty. The central notion in this chapter and for the kind of model theory that we will develop here is the notion of elementary substructure. Intuitively, M is an elementary substructure of N if, obviously, M is a substructure of N and if, for every finite sequences of elements of M and for every property F[s] that is expressible by a first-order formula, it is equivalent to verify that s satisfies F in M or that s satisfies F in N. This notion will be our concern for the first two sections; the important results will be the Lowenheim-Skolem theorems and their corollaries which imply that a countable theory that has an infinite model must have infinite models of every infinite cardinality.
Sign-in/Register to access full text options 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a callDisclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.
