Concept

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). 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. 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". The applications of model theory to algebraic and Diophantine geometry reflect this proximity to classical mathematics, as they often involve an integration of algebraic and model-theoretic results and techniques. Consequently, proof theory is syntactic in nature, in contrast to model theory, which is semantic in nature. The most prominent scholarly organization in the field of model theory is the Association for Symbolic Logic. 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 where universal algebra stands for mathematical structures and logic for logical theories; and model theory = algebraic geometry − fields.

Official source

https://en.wikipedia.org/wiki/Model_theory

About this result

This page is automatically generated and may contain information that is not correct, complete, up-to-date, or relevant to your search query. The same applies to every other page on this website. Please make sure to verify the information with EPFL's official sources.

Related courses (30)

EE-556: Mathematics of data: from theory to computation

This course provides an overview of key advances in continuous optimization and statistical analysis for machine learning. We review recent learning formulations and models as well as their guarantees

CS-462: Programming language foundations

This course provides an introduction to the theory of programming languages, with an emphasis on language design and formal semantics.

PHYS-503: Quantum field theory III

The course builds on QFT1-2 and develops in parallel to The Standard Model course. After briefly revisiting the notions of particle, field and S-matrix, the course fully develops the theory of Renormalization and closes on the quantization of non-abelian ...

Related lectures (32)

Transfer of Model Structures

Covers the transfer of model structures through adjunctions in the context of model categories.

Term Models for First-Order Logic

Explores term models, substructures, small model theorems, and the Herbrand model in first-order logic.

System Modeling: Parameters Identification

Explores system modeling and parameters identification through step response experiments in control systems.

Related publications (32)

Interpolating Parametric Array Theories

Parametric array theories are extensions of the quantifier-free theory of arrays with relations that hold componentwise. We show that these theories retain rich (general and uniform) quantifier-free interpolation properties. Our results include the interpolation properties of the simple flat array fragment, which were left open in the literature.

Springer Science and Business Media Deutschland GmbH2026

Experimentally‐Informed Compliant Contact Model for Rocking Structures

The rocking motion resembles the dynamic behaviour of various structures, and therefore, it is fundamental for many earthquake engineering applications. Despite its importance, modelling the rocking motion remains an open and challenging topic owing to its highly non‐linear and sensitive dynamic behaviour. Several rocking models have been proposed in the scientific literature, yet, in most cases, with limited or partial validation against experimental results. To this end, this study proposes a novel compli

Wiley2026

Decentralized Learning of Decision Models for Classification with Dependent Agents

Under distributed decision-making (a.k.a. social learning), several agents cooperate according to a communication graph to solve a classification task. A traditional assumption in social learning is that the spatial dependence across the agents’ data is not available, while each individual agent is assumed to know a local model encoding the marginal distribution of its personal data. Recent work shows that, when some joint parametric model is available to describe the spatial dependence, the theory of copul

IEEE2026

Graph Chat

Chat with Graph Search

Ask any question about EPFL courses, lectures, exercises, research, news, etc. or try the example questions below.

DISCLAIMER: The Graph Chatbot is not programmed to provide explicit or categorical answers to your questions. Rather, it transforms your questions into API requests that are distributed across the various IT services officially administered by EPFL. Its purpose is solely to collect and recommend relevant references to content that you can explore to help you answer your questions.

Official source

https://en.wikipedia.org/wiki/Model_theory

About this result

Ontological neighbourhood

Logic

Classical logic: First-order logic

Related courses (30)

EE-556: Mathematics of data: from theory to computation

CS-462: Programming language foundations

This course provides an introduction to the theory of programming languages, with an emphasis on language design and formal semantics.

PHYS-503: Quantum field theory III

Related lectures (32)

Transfer of Model Structures

Covers the transfer of model structures through adjunctions in the context of model categories.

Term Models for First-Order Logic

Explores term models, substructures, small model theorems, and the Herbrand model in first-order logic.

System Modeling: Parameters Identification

Explores system modeling and parameters identification through step response experiments in control systems.

Related publications (32)

Interpolating Parametric Array Theories

Springer Science and Business Media Deutschland GmbH2026

Experimentally‐Informed Compliant Contact Model for Rocking Structures

Wiley2026

Decentralized Learning of Decision Models for Classification with Dependent Agents

IEEE2026

Related people (32)

Ethan Monaghan Ackelsberg

Expertise Ergodic Theory, Arithmetic Combinatorics Preprints on arXiv https://arxiv.org/a/ackelsberg_e_1.html Curriculum vitae CV Education Mathematics | 2016 – 2022 Ohio State University Professionals experiences Postdoctoral member 2022–2023 Institute for Advanced Study Teaching & PhD Courses Measure theory MATH-303 This course provides an introduction to the theory of measures and integration on abstract measure spaces.

Oliver Janzer

Teaching & PhD PhD Students Rik Sarkar Courses Algebraic methods in combinatorics MATH-526 In this course we study how algebraic methods can be used to solve problems in combinatorics. The main tools used are from linear algebra and from the theory of polynomials. Graph theory MATH-360 The course aims to introduce the basic concepts and results of modern Graph Theory. Awards European Prize in Combinatorics 2025 British Combinatorial Committee PhD Prize 2022 Smith-Knight

Sébastien Ott

Teaching & PhD Courses Large deviations MATH-533 An introduction to the theory of large deviations, focusing on studying examples and deriving the general theory from the ideas developed in the examples. Probability and statistics (for IC) MATH-232

Roger Hersch

Roger D. Hersch is professor of Computer Science and head of the Peripheral Systems Laboratory at EPFL. He received his engineering degree from ETHZ in 1975, worked in industry from 1975 to 1980, and obtained his PhD degree from EPFL in 1985. He directed the widely known Visible Human Web Server project , which offers a number of services for the visualization of human anatomy. His current research focuses on color reproduction, spectral color prediction models, moiré imaging, and visual document security. Recent achievements include the PhotoProtect technology, which incorporates text as chromatic differences in order to protect identity photographs (Swiss driving license), microstructure imaging, which is used by railways companies (SNCF, RENFE) and festival organizers (Paleo) to print tickets at home and the band moire imaging technology for the protection of security documents.

Dimitri Stelio Wyss

I did my PhD under the supervision of Tamas Hausel at EPFL and the Institue of Science and Technology Austria . From 2017-2019 I was a postdoctoral researcher at the Sorbonne University Paris 6 with François Loeser. Since September 2019 I hold the chair of arithmetic geometry at EPFL as a tenure track assistant professor. For more information see my CV.I work in algebraic and arithmetic geometry. My research uses ideas from p-adic and motivic integration to study the interplay between geometric and arithmet

Giordano Favi

Expertise Research: Non associative Algebra, Category Theory, Triangulated Category Theory, Balmer-Witt Theory, Quadratic Forms in Characteristic 2, Galois Theory, Essential dimension, Tensor Triangular GeometryTeaching: Algebra (Associative, Linear, Commutative or not), Differential Calculus , Algebraic Geometry/Topology, etc. Current work Teaching: My current work at EPFL is half time dedicated to teaching mathematics for 1st year students. It is very important to give satisfactory introductory courses

Guillaume Anciaux

ResearchResearch Topics My research can be decomposed in three main blocks:First, the main goal of my current research is the physical description of contact interactions. I performed numerous studies of this topic using different models from the continuum scale down to atomistic scale. Since atomic phenomena and macroscopic observations are linked, the physics of contact needs the simultaneous consideration of several scales. For instance, plasticity is a theory defined for the macroscopic scale whereas t

Bruno Marchand

Mission Head of the Theory and History of Architecture Laboratory 2 of the Institute of Architecture, ENAC Faculty.Head of the Institute of Architecture, ENAC Faculty.Teaching and research in the theory of architecture. Bruno Marchand studied architecture at the EPFL and here he graduated in 1980. He obtained his doctorate at the EPFL in 1992. The subject of his thesis was the presentation of a typology of collective housing in Geneva. Appointed as assistant professor in the EPFL’s Department of Architectur

Rajita Ramesh Chandak

Expertise Nonparametric estimation, statistical inference, theory of machine learning Teaching & PhD Courses Nonparametric estimation and inference MATH-524 Nonparametric models are used to identify a wide range of relationships within data. This course gives a graduate-level overview of nonparametric statistical estimation and inference theory. Statistical inference MATH-562 Inference from the particular to the general based on probability models is central to the statistica

Georgios Moschidis

Teaching & PhD PhD Students Abraham Gabriel Dorsaz Courses Analysis IV (for EL, GM, MX) MATH-207(c) This course serves as an introduction to the theory of complex analysis, Fourier series and Fourier transforms, the Laplace transform, with applications to the theory of ordinary and partial differential equations. These tools play an integral role in most branches of science and engineering. Differential geometry I - curves and surfaces MATH-213 This course serves as an intr

Related units (7)

TRACE - Administration

Transportation and Mobility Laboratory

IIE - Administration

Related concepts (32)

Set theory

Set theory is the branch of mathematical logic that studies sets, which can be informally described as collections of objects. Although objects of any kind can be collected into a set, set theory, as a branch of mathematics, is mostly concerned with those that are relevant to mathematics as a whole. The modern study of set theory was initiated by the German mathematicians Richard Dedekind and Georg Cantor in the 1870s. In particular, Georg Cantor is commonly considered the founder of set theory.

Structure (mathematical logic)

In universal algebra and in model theory, a structure consists of a set along with a collection of finitary operations and relations that are defined on it. Universal algebra studies structures that generalize the algebraic structures such as groups, rings, fields and vector spaces. The term universal algebra is used for structures of first-order theories with no relation symbols. Model theory has a different scope that encompasses more arbitrary first-order theories, including foundational structures such as models of set theory.

Mathematical logic

Mathematical logic is the study of formal logic within mathematics. Major subareas include model theory, proof theory, set theory, and recursion theory (also known as computability theory). Research in mathematical logic commonly addresses the mathematical properties of formal systems of logic such as their expressive or deductive power. However, it can also include uses of logic to characterize correct mathematical reasoning or to establish foundations of mathematics.

Related exercises (5)

Vortex of Rankine

The vortex of Rankine is a model of a fluid defined by the velocity field (Ω=const):

{\bf v} = \Omega \,r \,{\bf\hat{\phi}} \quad r\leq a~; \qquad {\bf v} = \frac{\Omega\, a^2}{r} \,{\bf\hat{\phi}} \quad r> a~.

The flow is stationary, the fluid uncompressible, and we will neglect gravity. Determine the vorticity

({\bf T}=\nabla \times {\bf v})

of the flow as well as the pressure field P(r) with the condition P(r→∞)u2004=u2004P_(∞). Suggestion: use the vectorial identity: $({\bf v}\cdot \nabla){\bf v

Frequency of molecular vibrations

Let us consider a hydrogen atom of mass mu2004=u20041.67u2005⋅u200510⁻²⁷u2006kg chemically bound to a metallic surface. We model the chemical bound by a spring of constant k, of natural length l₀ and of vibration frequency fu2004=u200410¹³u2006s⁻¹.

Determine the value of the spring constant k of the chemical bound, neglecting the action of the gravitational force. Frame, coordinates and system: We take the metallic surface as frame of reference and use the horizontal coordinate e_(x) oriented towar

Model of elastic collision

A chariot considered as a material point of mass m moves without friction on an horizontal plane; a spring of constant k is mounted at one end of the chariot. Through this spring, the chariot that has a speed v₀, collides with a fixed wall (considered as having an infinite mass); the spring first contracts, then expands, and the chariot moves in the opposite direction. We assume that the collision is perfectly elastic, i.e. the mechanical energy is conserved.

Determine the time interval Δt during which

Related notebooks (8)

Modeling Epidemics with Signal Processing Techniques

Epidemics and Signal Processing[1]¶

                                      [2]Paolo Prandoni, [3]LCAV, EPFL

In [1]: import matplotlib.pyplot as plt import numpy as np import scipy.signal as sp import seaborn as sns sns.set() In [2]: plt.rcParams["figure.figsize"] = (14,4) The basic reproduction number[4]¶ The propagation mechanism of an epidemic such as the one caused by SARS-CoV-2 virus can be roughly modeled, at least in its inital phase, as a process in which each infected individ

Fairness Week 2: COMPAS and Fairness in Machine Learning – Solutions

Fairness Week 2: Predicting recidivism¶{.anchor-link} {#Fairness-Week-2:-Predicting-recidivism}

How to use this notebook Simply read the text and follow the instructions.
This notebook contains code cells, which can be modified and must be executed to see the result of their content.
To execute a cell, select it and click on the play button (▶) in the tool bar, or type Shift + Enter or Ctr + Enter. As the variables contained in a cell are stor

Simulating Electron Motion in 2D Materials Using the Drude Model - Basic

Drude model considers electrons small solid particles traveling through lattices as a stationary array of heavier and bigger atoms. The model use "mean free time" as a measure of the frequency an electron gets scattered. This jupyter notebook makes use of this concept and uses stochastic method to simulat electrons traveling through a 2D material of finite width but infinite length."

"#### First we setup the simulation parameters such as the external electric field, number of electrons (default

Voice Transformation Techniques Using Digital Signal Processing

A Gallery of Voice Transformers[1]¶

                                      [2]Paolo Prandoni, [3]LCAV, EPFL

In this notebook we will explore various ways to implement a system that changes the voice of a speaker. Typical applications for these techniques, strictly sorted by plausibility, include international spy missions and prank telephone calls, and devices such as the one displayed here can be easily bought on the web... or in a novelty shop. No description has been provided for t

Investigating the Effect of Phase on Sound Perception

Hearing the phase of a sound[1]¶

                                      [2]Paolo Prandoni, [3]LCAV, EPFL

In this notebook we will investigate the effect of phase on the perceptual quality of a sound. It is often said that the human ear is commercial-grade audio equipment takes place in the magnitude domain only. In [1]: %matplotlib inline import matplotlib import matplotlib.pyplot as plt import numpy as np import IPython from scipy.io import wavfile In [2]: plt.rcParams["figure.fig