Model theory

related topics
{math, number, function}
{theory, work, human}

In mathematics, model theory is the study of (classes of) mathematical structures such as groups, fields, graphs, or even universes of set theory, using tools from mathematical logic. A structure that gives meaning to the sentences of a formal language is called a model for the language. If a model for a language moreover satisfies a particular sentence or theory (set of sentences), it is called a model of the sentence or theory. Model theory has close ties to algebra and universal algebra.

This article focuses on finitary first order model theory of infinite structures. Finite model theory, which concentrates on finite structures, diverges significantly from the study of infinite structures in both the problems studied and the techniques used. Model theory in higher-order logics or infinitary logics is hampered by the fact that completeness does not in general hold for these logics. However, a great deal of study has also been done in such languages.


Full article ▸

related documents
Fourier transform
Vector space
Propositional calculus
Lisp (programming language)
Vienna Development Method
Group (mathematics)
C (programming language)
Generic programming
Clifford algebra
Floating point
Discrete Fourier transform
Euclidean vector
First-order logic
Ordinal number
Mathematical logic
Regular expression
Emmy Noether
Surreal number
Prime number
Singular value decomposition
Radix sort
Natural deduction