Model theory

We can use rules to describe things. These rules are like a set of instructions. We look for things that follow the rules. These things are called models.

One man named Alfred Tarski used these ideas. He helped start this way of thinking. He used the term "Theory of Models" in 1954.

We can use rules to find special groups. For example, rules can pick out even numbers. We can also use rules to find prime numbers.

Some rules are easy to use. Other rules are much harder. We study how these rules work together. This helps us understand the world of math.

Math uses rules to describe how things work. We call a set of these rules a theory. A theory is a collection of sentences. These sentences tell us what is true. We look for things that follow these rules. We call these things models. Model theory is the study of how theories and models fit together.

Alfred Tarski helped start this field. He used the term "Theory of Models" in 1954. Since then, many people have added to it. One person, Saharon Shelah, changed the subject with his stability theory.

We can use rules to pick out special groups. For example, a rule can find all prime numbers. Another rule can find all even numbers. These groups are called definable sets.

Some rules are very simple. Other rules are quite hard. We use tools to make hard rules easier. This is called quantifier elimination. It helps us turn a complex rule into a simple one. This work helps us understand the shapes and parts of math.

Math uses rules to describe how things work. We call a set of these rules a theory. Model theory is the study of how these theories and their models fit together. A theory is a collection of sentences in a formal language. These sentences express statements about a mathematical structure. A model is a structure where all those statements are true. Model theorists look at the size and number of these models. They also study how different models relate to each other.

To understand how this works, imagine a set of rules. In the world of natural numbers, we can use rules to find special groups. For example, a rule can define all prime numbers. Another rule can define all even numbers. These special groups are called definable sets. A formula can also define a shape, like a curve. This happens when we use variables to describe a path. We can even use specific numbers, called parameters, to help define these sets.

This field has a very interesting history. Alfred Tarski helped start this area of study. He first used the term "Theory of Models" in 1954. Since then, the subject has grown much larger. In the 1970s, Saharon Shelah changed the subject with his stability theory. This work helped us understand the geometry of definable sets. Model theory is often seen as being close to classical mathematics. Some people even say it is closer to math than proof theory is.

There are many important rules and theorems in this field. The compactness theorem is a very central idea. It says a set of sentences is satisfiable if every finite part is satisfiable. Another big idea is the Löwenheim–Skolem theorem. This theorem says that infinite structures have models of different sizes. For example, any theory with infinite models has a countable model. It also has models that are much larger. These rules help mathematicians understand what is possible in logic.

Model theory connects to many other parts of math. It is very useful in algebraic and Diophantine geometry. This happens because it combines different mathematical techniques. We can also use tools like quantifier elimination to simplify things. This tool turns a complex rule into a simpler one. It helps us describe sets without using complicated quantifiers. By making rules easier to read, we can see the patterns more clearly. This helps us understand the deep structure of the mathematical world.

Model theory is a branch of mathematical logic. It examines the relationship between formal theories and their models. A formal theory is a collection of sentences in a formal language. These sentences express statements about a mathematical structure. A model is a specific structure where all those statements are true. Model theorists investigate the size and number of these models. They also study how different models relate to one another. This field is semantic in nature. This distinguishes it from proof theory, which is syntactic in nature.

To understand the mechanism, one must look at the components of a signature. A signature, or language, is a set of non-logical symbols. These symbols include constants, functions, and relations. A structure is a set that interprets these symbols. For example, an ordered ring signature includes constants like 0 and 1. It also includes functions like addition and multiplication. A structure models a theory if every sentence in that theory is true within the structure. If a theory has a model, it is called satisfiable. In many contexts, mathematicians use the term consistent to mean satisfiable.

Model theory explores several distinct types of relationships between structures. A substructure is a subset of a structure's domain. This subset must be closed under all functions in the signature. An elementary substructure is a special kind of substructure. In an elementary substructure, any first-order formula is true if and only if it is true in the larger structure. There are also embeddings, which are maps between two structures. An elementary embedding is an injective map that preserves the truth of all first-order formulas. Mathematicians also study reducts and expansions. A reduct occurs when you ignore some symbols in a signature. An expansion adds new symbols to an existing signature.

The history of model theory is marked by key figures and shifts in focus. Alfred Tarski is credited with starting the discipline. He first used the term "Theory of Models" in a 1954 publication. He also provided a rigorous definition for the satisfaction relation, known as Tarski's definition of truth. Since the 1970s, the field has been shaped by Saharon Shelah. His work on stability theory changed how mathematicians classify theories. Stability theory was originally used to classify theories by their number of models in a given cardinality. Later, it became crucial for understanding the geometry of definable sets.

Certain theorems provide the foundation for the entire field. The compactness theorem is a central pillar of first-order model theory. It states that a set of sentences is satisfiable if every finite subset of it is satisfiable. Another cornerstone is the Löwenheim–Skolem theorem. This theorem describes the sizes of models that a theory can have. It states that every infinite structure in a countable signature has a countable elementary substructure. It also implies that any theory with infinite models has models of arbitrarily large sizes. These theorems define the limits of what first-order logic can express.

Definability is another essential concept in this study. A definable set is a subset of a model created by a formula. For instance, a formula can define the set of prime numbers within the natural numbers. Formulas can also use parameters, which are fixed elements from the model, to define specific sets. A complex tool used here is quantifier elimination. This process allows a mathematician to turn a complex formula into a simpler one. A theory has quantifier elimination if every formula is equivalent to one without quantifiers. For example, algebraically closed fields possess this property. This means every formula is equivalent to a combination of polynomial equations.

Model theory has deep connections to other mathematical branches. It is highly relevant to algebraic geometry and Diophantine geometry. These fields often integrate algebraic results with model-theoretic techniques. The relationship between models and definable sets is often compared to algebraic geometry. In that context, logical formulas act like equations, and definable sets act like varieties. This proximity to classical mathematics is a defining characteristic of the field. By studying the interaction between language and structure, model theory reveals the underlying patterns of mathematical systems.