# Model theory

In mathematical logic, **model theory** is the study of the relationship between formal theories (a collection of sentences in a formal language expressing statements about a mathematical structure), and their models (those structures in which the statements of the theory hold).^{[1]} The aspects investigated include the number and size of models of a theory, the relationship of different models to each other, and their interaction with the formal language itself. In particular, model theorists also investigate the sets that can be defined in a model of a theory, and the relationship of such definable sets to each other.
As a separate discipline, model theory goes back to Alfred Tarski, who first used the term "Theory of Models" in publication in 1954.^{[2]}
Since the 1970s, the subject has been shaped decisively by Saharon Shelah's stability theory.

Compared to other areas of mathematical logic such as proof theory, model theory is often less concerned with formal rigour and closer in spirit to classical mathematics.
This has prompted the comment that *"if proof theory is about the sacred, then model theory is about the profane"*.^{[3]}
The applications of model theory to

The most prominent scholarly organization in the field of model theory is the Association for Symbolic Logic.

## Overview

This page focuses on finitary first order model theory of infinite structures.

The relative emphasis placed on the class of models of a theory as opposed to the class of definable sets within a model fluctuated in the history of the subject, and the two directions are summarised by the pithy characterisations from 1973 and 1997 respectively:

**model theory**= universal algebra + logic^{[4]}

where universal algebra stands for mathematical structures and logic for logical theories; and

**model theory**= algebraic geometry − fields.

where logical formulas are to definable sets what equations are to varieties over a field.^{[5]}

Nonetheless, the interplay of classes of models and the sets definable in them has been crucial to the development of model theory throughout its history. For instance, while stability was originally introduced to classify theories by their numbers of models in a given cardinality, stability theory proved crucial to understanding the geometry of definable sets.

## Fundamental notions of first-order model theory

### First-order logic

A first-order *formula* is built out of atomic formulas such as or by means of the

(Note that the equality symbol has a double meaning here.) It is intuitively clear how to translate such formulas into mathematical meaning. In the σ_{smr}-structure of the natural numbers, for example, an element *satisfies* the formula if and only if is a prime number. The formula similarly defines irreducibility. Tarski gave a rigorous definition, sometimes called "Tarski's definition of truth", for the satisfaction relation , so that one easily proves:

- is a prime number.
- is irreducible.

A set of sentences is called a (first-order) theory, which takes the sentences in the set as its axioms. A theory is *satisfiable* if it has a *model* , i.e. a structure (of the appropriate signature) which satisfies all the sentences in the set . A complete theory is a theory that contains every sentence or its negation.
The complete theory of all sentences satisfied by a structure is also called the *theory of that structure*.

It's a consequence of Gödel's

### Basic model-theoretic concepts

A

**Example:** A common signature for ordered rings is , where and are 0-ary function symbols (also known as constant symbols), and are binary (= 2-ary) function symbols, is a unary (= 1-ary) function symbol, and is a binary relation symbol. Then, when these symbols are interpreted to correspond with their usual meaning on (so that e.g. is a function from to and is a subset of ), one obtains a structure .

A structure is said to model a set of first-order sentences in the given language if each sentence in is true in with respect to the interpretation of the signature previously specified for . (Again, not to be confused with the formal notion of an "interpretation" of one structure in another) A *model* of is a structure that models .

A substructure of a σ-structure is a subset of its domain, closed under all functions in its signature σ, which is regarded as a σ-structure by restricting all functions and relations in σ to the subset. This generalises the analogous concepts from algebra; for instance, a subgroup is a substructure in the signature with multiplication and inverse.

A substructure is said to be *elementary* if for any first-order formula and any elements *a*_{1}, ..., *a*_{n} of ,

- if and only if .

In particular, if is a sentence and an elementary substructure of , then if and only if . Thus, an elementary substructure is a model of a theory exactly when the superstructure is a model.

**Example:** While the field of algebraic numbers is an elementary substructure of the field of complex numbers , the rational field is not, as we can express "There is a square root of 2" as a first-order sentence satisfied by but not by .

An embedding of a σ-structure into another σ-structure is a map *f*: *A* → *B* between the domains which can be written as an isomorphism of with a substructure of . If it can be written as an isomorphism with an elementary substructure, it is called an elementary embedding. Every embedding is an

A field or a vector space can be regarded as a (commutative) group by simply ignoring some of its structure. The corresponding notion in model theory is that of a *reduct* of a structure to a subset of the original signature. The opposite relation is called an *expansion* - e.g. the (additive) group of the

Similarly, if σ' is a signature that extends another signature σ, then a complete σ'-theory can be restricted to σ by intersecting the set of its sentences with the set of σ-formulas. Conversely, a complete σ-theory can be regarded as a σ'-theory, and one can extend it (in more than one way) to a complete σ'-theory. The terms reduct and expansion are sometimes applied to this relation as well.

### Compactness and the Löwenheim-Skolem theorem

The compactness theorem states that a set of sentences S is satisfiable if every finite subset of S is satisfiable. The analogous statement with *consistent* instead of *satisfiable* is trivial, since every proof can have only a finite number of antecedents used in the proof. The completeness theorem allows us to transfer this to satisfiability. However, there are also several direct (semantic) proofs of the compactness theorem.
As a corollary (i.e., its contrapositive), the compactness theorem says that every unsatisfiable first-order theory has a finite unsatisfiable subset. This theorem is of central importance in model theory, where the words "by compactness" are commonplace.^{[6]}

Another cornerstone of first-order model theory is the

^{[7]}

In a certain sense made precise by Lindström's theorem, first-order logic is the most expressive logic for which both the Löwenheim–Skolem theorem and the compactness theorem hold.^{[8]}

## Definability

### Definable sets

In model theory, definable sets are important objects of study. For instance, in the formula

defines the subset of prime numbers, while the formula

defines the subset of even numbers.
In a similar way, formulas with *n* free variables define subsets of . For example, in a field, the formula

defines the curve of all such that .

Both of the definitions mentioned here are *parameter-free*, that is, the defining formulas don't mention any fixed domain elements. However, one can also consider definitions *with parameters from the model*.
For instance, in , the formula

uses the parameter from to define a curve.^{[9]}

### Eliminating quantifiers

In general, definable sets without quantifiers are easy to describe, while definable sets involving possibly nested quantifiers can be much more complicated.^{[10]}

This makes quantifier elimination a crucial tool for analysing definable sets:
A theory *T* has quantifier elimination if every first-order formula φ(*x*_{1}, ..., *x*_{n}) over its signature is equivalent modulo *T* to a first-order formula ψ(*x*_{1}, ..., *x*_{n}) without quantifiers, i.e. holds in all models of *T*.^{[11]}
If the theory of a structure has quantifier elimination, every set definable in a structure is definable by a quantifier-free formula over the same parameters as the original definition.
For example, the theory of algebraically closed fields in the signature σ_{ring} = (×,+,−,0,1) has quantifier elimination.^{[12]} This means that in an algebraically closed field, every formula is equivalent to a Boolean combination of equations between polynomials.

If a theory does not have quantifier elimination, one can add additional symbols to its signature so that it does. Axiomatisability and quantifier elimination results for specific theories, especially in algebra, were among the early landmark results of model theory.^{[13]} But often instead of quantifier elimination a weaker property suffices:

A theory *T* is called

^{[14]}

*T*is model-complete if and only if every first-order formula φ(

*x*

_{1}, ...,

*x*

_{n}) over its signature is equivalent modulo

*T*to an existential first-order formula, i.e. a formula of the following form:

- ,

where ψ is quantifier free. A theory that is not model-complete may have a

^{[15]}

### Minimality

In every structure, every finite subset is definable with parameters: Simply use the formula

- .

Since we can negate this formula, every cofinite subset (which includes all but finitely many elements of the domain) is also always definable.

This leads to the concept of a *minimal structure*.
A structure is called minimal if every subset definable with parameters from is either finite or cofinite.
The corresponding concept at the level of theories is called *strong minimality*:
A theory *T* is called strongly minimal if every model of *T* is minimal.
A structure is called *strongly minimal* if the theory of that structure is strongly minimal. Equivalently, a structure is strongly minimal if every elementary extension is minimal.
Since the theory of algebraically closed fields has quantifier elimination, every definable subset of an algebraically closed field is definable by a quantifier-free formula in one variable. Quantifier-free formulas in one variable express Boolean combinations of polynomial equations in one variable, and since a nontrivial polynomial equation in one variable has only a finite number of solutions, the theory of algebraically closed fields is strongly minimal.^{[16]}

On the other hand, the field of real numbers is not minimal: Consider, for instance, the definable set

- .

This defines the subset of non-negative real numbers, which is neither finite nor cofinite.
One can in fact use to define arbitrary intervals on the real number line.
It turns out that these suffice to represent every definable subset of .^{[17]}
This generalisation of minimality has been very useful in the model theory of ordered structures.
A

^{[18]}

### Definable and interpretable structures

Particularly important are those definable sets that are also substructures, i. e. contain all constants and are closed under function application. For instance, one can study the definable subgroups of a certain group.
However, there is no need to limit oneself to substructures in the same signature. Since formulas with *n* free variables define subsets of , *n*-ary relations can also be definable. Functions are definable if the function graph is a definable relation, and constants are definable if there is a formula such that *a* is the only element of such that is true.
In this way, one can study definable groups and fields in general structures, for instance, which has been important in geometric stability theory.

One can even go one step further, and move beyond immediate substructures.
Given a mathematical structure, there are very often associated structures which can be constructed as a quotient of part of the original structure via an equivalence relation. An important example is a quotient group of a group.
One might say that to understand the full structure one must understand these quotients. When the equivalence relation is definable, we can give the previous sentence a precise meaning. We say that these structures are *interpretable*.
A key fact is that one can translate sentences from the language of the interpreted structures to the language of the original structure. Thus one can show that if a structure interprets another whose theory is undecidable, then itself is undecidable.^{[19]}

## Types

### Basic notions

For a sequence of elements of a structure and a subset *A* of , one can consider the set of all first-order formulas with parameters in *A* that are satisfied by . This is called the *complete (n-)type realised by* *over A*.
If there is an automorphism of that is constant on *A* and sends to respectively, then and realise the same complete type over *A*.

The real number line , viewed as a structure with only the order relation {<}, will serve as a running example in this section.
Every element satisfies the same 1-type over the empty set. This is clear since any two real numbers *a* and *b* are connected by the order automorphism that shifts all numbers by *b-a*. The complete 2-type over the empty set realised by a pair of numbers depends on their order: either , or .
Over the subset of integers, the 1-type of a non-integer real number *a* depends on its value rounded down to the nearest integer.

More generally, whenever is a structure and *A* a subset of , a (partial) *n-type over A* is a set of formulas *p* with at most *n* free variables that are realised in an elementary extension of .
If *p* contains every such formula or its negation, then *p* is *complete*. The set of complete *n*-types over *A* is often written as . If *A* is the empty set, then the type space only depends on the theory of . The notation is commonly used for the set of types over the empty set consistent with .
If there is a single formula such that the theory of implies for every formula in *p*, then *p* is called *isolated*.

Since the real numbers are

A subset of that can be expressed as exactly those elements of realising a certain type over *A* is called *type-definable* over *A*.
For an algebraic example, suppose is an algebraically closed field. The theory has quantifier elimination . This allows us to show that a type is determined exactly by the polynomial equations it contains. Thus the set of complete -types over a subfield corresponds to the set of prime ideals of the polynomial ring , and the type-definable sets are exactly the affine varieties.^{[20]}

### Structures and types

While not every type is realised in every structure, every structure realises its isolated types.
If the only types over the empty set that are realised in a structure are the isolated types, then the structure is called *atomic*.

On the other hand, no structure realises every type over every parameter set; if one takes all of as the parameter set, then every 1-type over realised in is isolated by a formula of the form *a = x* for an . However, any proper elementary extension of contains an element that is *not* in . Therefore, a weaker notion has been introduced that captures the idea of a structure realising all types it could be expected to realise.
A structure is called *saturated* if it realises every type over a parameter set that is of smaller cardinality than itself.

While an automorphism that is constant on *A* will always preserve types over *A*, it is generally not true that any two sequences and that satisfy the same type over *A* can be mapped to each other by such an automorphism. A structure in which this converse does hold for all *A* of smaller cardinality than is called **homogeneous**.

The real number line is atomic in the language that contains only the order , since all *n*-types over the empty set realised by in are isolated by the order relations between the . It is not saturated, however, since it does not realise any 1-type over the countable set that implies *x* to be larger than any integer.
The rational number line is saturated, in contrast, since is itself countable and therefore only has to realise types over finite subsets to be saturated.^{[21]}

### Stone spaces

The set of definable subsets of over some parameters is a Boolean algebra. By Stone's representation theorem for Boolean algebras there is a natural dual topological space, which consists exactly of the complete -types over . The topology generated by sets of the form for single formulas . This is called the *Stone space of n-types over A*.^{[22]}
This topology explains some of the terminology used in model theory: The compactness theorem says that the Stone space is a compact topological space, and a type *p* is isolated if and only if *p* is an isolated point in the Stone topology.

While types in algebraically closed fields correspond to the spectrum of the polynomial ring, the topology on the type space is the constructible topology: a set of types is basic open iff it is of the form or of the form . This is finer than the Zariski topology.^{[23]}

## Constructing models

### Realising and omitting types

Constructing models that realise certain types and do not realise others is an important task in model theory.
Not realising a type is referred to as *omitting* it, and is generally possible by the *(Countable) Omitting types theorem*:

- Let be a theory in a countable signature and let be a countable set of non-isolated types over the empty set.
- Then there is a model of which omits every type in .
^{[24]}

This implies that if a theory in a countable signature has only countably many types over the empty set, then this theory has an atomic model.

On the other hand, there is always an elementary extension in which any set of types over a fixed parameter set is realised:

- Let be a structure and let be a set of complete types over a given parameter set
- Then there is an elementary extension of which realises every type in .
^{[25]}

However, since the parameter set is fixed and there is no mention here of the cardinality of , this does not imply that every theory has a saturated model. In fact, whether every theory has a saturated model is independent of the

^{[26]}

### Ultraproducts

Ultraproducts are used as a general technique for constructing models that realise certain types.
An *ultraproduct* is obtained from the

*ultrapower*. The key to using ultraproducts in model theory is

*Łoś's theorem*:

- Let be a set of σ-structures indexed by an index set I and U an ultrafilter on I. Then any σ-formula is true in the ultraproduct of the by if the set of all for which lies in U.
^{[27]}

In particular, any ultraproduct of models of a theory is itself a model of that theory, and thus if two models have isomorphic ultrapowers, they are elementarily equivalent.
The *Keisler-Shelah theorem* provides a converse:

- If M and N are elementary equivalent, then there is a set I and an ultrafilter U on I such that the ultrapowers by U of M and :N are isomorphic.
^{[28]}

Therefore, ultraproducts provide a way to talk about elementary equivalence that avoids mentioning first-order theories at all. Basic theorems of model theory such as the compactness theorem have alternative proofs using ultraproducts,^{[29]} and they can be used to construct saturated elementary extensions if they exist.^{[30]}

## Categoricity

A theory was originally called *categorical* if it determines a structure up to isomorphism. It turns out that this definition is not useful, due to serious restrictions in the expressivity of first-order logic. The Löwenheim–Skolem theorem implies that if a theory *T* has an infinite model for some infinite cardinal number, then it has a model of size κ for any sufficiently large cardinal number κ. Since two models of different sizes cannot possibly be isomorphic, only finite structures can be described by a categorical theory.

However, the weaker notion of κ-categoricity for a cardinal κ has become a key concept in model theory. A theory *T* is called *κ-categorical* if any two models of *T* that are of cardinality κ are isomorphic. It turns out that the question of κ-categoricity depends critically on whether κ is bigger than the cardinality of the language (i.e. , where |*σ*| is the cardinality of the signature). For finite or countable signatures this means that there is a fundamental difference between ω-cardinality and κ-cardinality for uncountable κ.

### ω-categoricity

ω-categorical theories can be characterised by properties of their type space:

- For a complete first-order theory
*T*in a finite or countable signature the following conditions are equivalent:*T*is ω-categorical.- Every type in
*S*(_{n}*T*) is isolated. - For every natural number
*n*,*S*(_{n}*T*) is finite. - For every natural number
*n*, the number of formulas*φ*(*x*_{1}, ...,*x*_{n}) in*n*free variables, up to equivalence modulo*T*, is finite.

The theory of , which is also the theory of , is ω-categorical, as every *n*-type over the empty set is isolated by the pairwise order relation between the .
This means that every countable

-categorical theories and their countable models also have strong ties with

- A complete first-order theory
*T*in a finite or countable signature is ω-categorical if and only if its automorphism group is oligomorphic.

The equivalent characterisations of this subsection, due independently to Engeler, Ryll-Nardzewski and Svenonius, are sometimes referred to as the Ryll-Nardzewski theorem.

In combinatorial signatures, a common source of ω-categorical theories are Fraïssé limits, which are obtained as the limit of amalgamating all possible configurations of a class of finite relational structures.

### Uncountable categoricity

Michael Morley showed in 1963 that there is only one notion of *uncountable categoricity* for theories in countable languages.^{[31]}

- Morley's categoricity theorem
- If a first-order theory
*T*in a finite or countable signature is κ-categorical for some uncountable cardinal κ, then*T*is κ-categorical for all uncountable cardinals κ.

Morley's proof revealed deep connections between uncountable categoricity and the internal structure of the models, which became the starting point of classification theory and stability theory. Uncountably categorical theories are from many points of view the most well-behaved theories. In particular, complete strongly minimal theories are uncountably categorical. This shows that the theory of algebraically closed fields of a given characteristic is uncountably categorical, with the transcendence degree of the field determining its isomorphism type.

A theory that is both ω-categorical and uncountably categorical is called *totally categorical*.

## Stability theory

A key factor in the structure of the class of models of a first-order theory is its place in the *stability hierarchy*.

- A complete theory
*T*is called*-stable*for a cardinal if for any model of*T*and any parameter set of cardinality not exceeding , there are at most complete*T*-types over*A*.

A theory is called *stable* if it is -stable for some infinite cardinal . Traditionally, theories that are -stable are called *-stable*.^{[32]}

### The stability hierarchy

A fundamental result in stability theory is the *stability spectrum theorem*,^{[33]} which implies that every complete theory *T* in a countable signature falls in one of the following classes:

- There are no cardinals such that
*T*is -stable. *T*is -stable if and only if (seeCardinal exponentiationfor an explanation of ).*T*is -stable for any (where is the cardinality of the continuum).

A theory of the first type is called *unstable*, a theory of the second type is called *strictly stable* and a theory of the third type is called *superstable*.
Furthermore, if a theory is -stable, it is stable in every infinite cardinal,^{[34]} so -stability is stronger than superstability.

Many construction in model theory are easier when restricted to stable theories; for instance, every model of a stable theory has a saturated elementary extension, regardless of whether the generalised continuum hypothesis is true.^{[35]}

Shelah's original motivation for studying stable theories was to decide how many models a countable theory has of any uncountable cardinality.^{[36]}
If a theory is uncountably categorical, then it is -stable. More generally, the *Main gap theorem* implies that if there is an uncountable cardinal such that a theory *T* has less than models of cardinality , then *T* is superstable.

### Geometric stability theory

The stability hierarchy is also crucial for analysing the geometry of definable sets within a model of a theory.
In -stable theories, *Morley rank* is an important dimension notion for definable sets *S* within a model. It is defined by transfinite induction:

- The Morley rank is at least 0 if
*S*is non-empty. - For
*α*aelementary extension*N*of*M*, the set*S*has infinitely many disjoint definable subsets, each of rank at least*α*− 1. - For
*α*a non-zero limit ordinal, the Morley rank is at least*α*if it is at least*β*for all*β*less than*α*.

A theory *T* in which every definable set has well-defined Morley Rank is called *totally transcendental*; if *T* is countable, then *T* is totally transcendental if and only if *T* is -stable.
Morley Rank can be extended to types by setting the Morley Rank of a type to be the minimum of the Morley ranks of the formulas in the type. Thus, one can also speak of the Morley rank of an element *a* over a parameter set *A*, defined as the Morley rank of the type of *a* over *A*.
There are also analogues of Morley rank which are well-defined if and only if a theory is superstable (U-rank) or merely stable (Shelah's -rank).
Those dimension notions can be used to define notions of independence and of generic extensions.

More recently, stability has been decomposed into simplicity and "not the independence property" (NIP).
Simple theories are those theories in which a well-behaved notion of independence can be defined, while NIP theories generalise o-minimal structures.
They are related to stability since a theory is stable if and only if it is NIP and simple,^{[37]} and various aspects of stability theory have been generalised to theories in one of these classes.

## Non-elementary model theory

Model-theoretic results have been generalised beyond elementary classes, that is, classes axiomatisable by a first-order theory.

Model theory in

^{[39]}

More recently, alongside the shift in focus to complete stable and categorical theories, there has been work on classes of models defined semantically rather than axiomatised by a logical theory.
One example is *homogeneous model theory*, which studies the class of substructures of arbitrarily large homogeneous models. Fundamental results of stability theory and geometric stability theory generalise to this setting.^{}[40]
As a generalisation of strongly minimal theories,

^{[41]}

*strong substructure*relation generalising that of an elementary substructure. Even though its definition is purely semantic, every abstract elementary class can be presented as the models of a first-order theory which omit certain types. Generalising stability-theoretic notions to abstract elementary classes is an ongoing research program.

^{[42]}

## Selected applications

Among the early successes of model theory are Tarski's proofs of quantifier elimination for various algebraically interesting classes, such as the

^{[43]}

^{[44]}

In the 1960s, the introduction of the

^{[47]}

More recently, the connection between stability and the geometry of definable sets led to several applications from algebraic and diophantine geometry, including

^{[48]}

^{[49]}

In a separate strand of inquiries that also grew around stable theories, Laskowski showed in 1992 that NIP theories describe exactly those definable classes that are PAC-learnable in machine learning theory. This has led to several interactions between these separate areas. In 2018, the correspondence was extended as Hunter and Chase showed that stable theories correspond to online learnable classes.^{[50]}

## History

Model theory as a subject has existed since approximately the middle of the 20th century, and the name was coined by Alfred Tarski, a member of the Lwów–Warsaw school, in 1954.^{[51]} However some earlier research, especially in mathematical logic, is often regarded as being of a model-theoretical nature in retrospect.^{[52]} The first significant result in what is now model theory was a special case of the downward Löwenheim–Skolem theorem, published by Leopold Löwenheim in 1915. The compactness theorem was implicit in work by Thoralf Skolem,^{[53]} but it was first published in 1930, as a lemma in Kurt Gödel's proof of his completeness theorem. The Löwenheim–Skolem theorem and the compactness theorem received their respective general forms in 1936 and 1941 from Anatoly Maltsev.
The development of model theory as an independent discipline was brought on by Alfred Tarski during the

In the further history of the discipline, different strands began to emerge, and the focus of the subject shifted. In the 1960s, techniques around ultraproducts became a popular tool in model theory.^{}

^{[55]}

^{[56]}

## Connections to related branches of mathematical logic

### Finite model theory

^{[58]}

^{[59]}

### Set theory

Any

*within*the model, but are countable to someone

*outside*the model.

^{[60]}

The model-theoretic viewpoint has been useful in

^{[61]}

In the other direction, model theory is itself formalised within Zermelo-Fraenkel set theory. For instance, the development of the fundamentals of model theory (such as the compactness theorem) rely on the axiom of choice, and is in fact equivalent over Zermelo-Fraenkel set theory without choice to the Boolean prime ideal theorem.^{}[62] Other results in model theory depend on set-theoretic axioms beyond the standard ZFC framework. For example, if the Continuum Hypothesis holds then every countable model has an ultrapower which is saturated (in its own cardinality). Similarly, if the Generalized Continuum Hypothesis holds then every model has a saturated elementary extension. Neither of these results are provable in ZFC alone. Finally, some questions arising from model theory (such as compactness for infinitary logics) have been shown to be equivalent to large cardinal axioms.^{[63]}

## See also

- Abstract model theory
- Algebraic theory
- Axiomatizable class
- Compactness theorem
- Descriptive complexity
- Elementary equivalence
- First-order theories
- Hyperreal number
- Institutional model theory
- Kripke semantics
- Löwenheim–Skolem theorem
- Model-theoretic grammar
- Proof theory
- Saturated model
- Skolem normal form

## Notes

**^**Chang and Keisler, p. 1**^**"Model Theory".*The Stanford Encyclopedia of Philosophy*. Metaphysics Research Lab, Stanford University. 2020.**^**Dirk van Dalen, (1980; Fifth revision 2013) "Logic and Structure" Springer.*(See page 1.*)**^**Chang and Keisler, p. 1**^**Hodges (1997), p. vii**^**Marker (2002), p. 32**^**Marker (2002), p. 45**^**Barwise and Feferman, p. 43**^**Marker (2002), p. 19**^**Marker (2002), p. 71**^**Marker (2002), p. 72**^**Marker (2002), p. 85- JSTOR 2274425.
**^**Marker (2002), p. 45**^**Marker (2002), p. 106**^**Marker (2002), p. 208**^**Marker (2002), p. 97**^**Hodges (1993), pp. 31, 92- ISBN 9780444533784, retrieved 2022-01-26
**^**Marker (2002), pp. 115–124**^**Marker (2002), pp. 125–155**^**Hodges (1993), p. 280**^**Marker (2002), pp. 124–125**^**Hodges (1993), p. 333**^**Hodges (1993), p. 451**^**Hodges (1993), 492**^**Hodges (1993), p. 450**^**Hodges (1993), p. 452**^**Bell and Slomson, p. 102**^**Hodges (1993), p. 492- PMID 16591050.
**^**Marker (2002), p. 135**^**Marker (2002), p. 172**^**Marker (2002), p. 136**^**Hodges (1993), p. 494- OCLC 800472113.
**.****, retrieved 2022-01-15****.****.****, retrieved 2022-01-23****.****^**Hodges (1993), p. 68-69- JSTOR 2274425.
**, retrieved 2022-01-23****^**Ax, James; Kochen, Simon (1965). "Diophantine Problems Over Local Fields: I.".*American Journal of Mathematics*. 87pages=605-630.- ISBN 9780720420654, retrieved 2022-01-23
**^**Ehud Hrushovski, The Mordell-Lang Conjecture for Function Fields. Journal of the American Mathematical Society 9:3 (1996), pp. 667-690.**^**Jonathan Pila, Rational points of definable sets and results of André–Oort–Manin–Mumford type, O-minimality and the André–Oort conjecture for*C*^{n}. Annals of Mathematics 173:3 (2011), pp. 1779–1840. doi=10.4007/annals.2011.173.3.11- S2CID 119689419.
**.****.****.]****^**Hodges (1993), p. 475- S2CID 126311148.
**.****.****.****.****.****.****^**Hodges (1993), p. 272- S2CID 126311148.

**
**## References

### Canonical textbooks

- .
- .
- .
- Kopperman, R. (1972).
*Model Theory and Its Applications*. Boston:Allyn and Bacon. - Marker, David (2002).
*Model Theory: An Introduction*. .

### Other textbooks

- Bell, John L.; Slomson, Alan B. (2006) [1969].
*Models and Ultraproducts: An Introduction*(reprint of 1974 ed.). . - Ebbinghaus, Heinz-Dieter; Flum, Jörg; Thomas, Wolfgang (1994).
*Mathematical Logic*.ISBN 0-387-94258-0. - Hinman, Peter G. (2005).
*Fundamentals of Mathematical Logic*. . - .
- .
- Poizat, Bruno (2000).
*A Course in Model Theory*. Springer.ISBN 0-387-98655-3. - .
- Rothmaler, Philipp (2000).
*Introduction to Model Theory*(new ed.). . - .
- Kirby, Jonathan (2019).
*An Invitation to Model Theory*. .

### Free online texts

- Chatzidakis, Zoé (2001).
*Introduction to Model Theory*(PDF). pp. 26 pages. - Pillay, Anand (2002).
*Lecture Notes – Model Theory*(PDF). pp. 61 pages. - "Model theory",
*Encyclopedia of Mathematics*, EMS Press, 2001 [1994] - Hodges, Wilfrid,
*Model theory*. The Stanford Encyclopedia Of Philosophy, E. Zalta (ed.). - Hodges, Wilfrid,
*First-order Model theory*. The Stanford Encyclopedia Of Philosophy, E. Zalta (ed.). - Simmons, Harold (2004),
*An introduction to Good old fashioned model theory*. Notes of an introductory course for postgraduates (with exercises). - J. Barwise and S. Feferman (editors), Model-Theoretic Logics, Perspectives in Mathematical Logic, Volume 8, New York: Springer-Verlag, 1985.