Type (model theory)
= Type (model theory)
{wiki=Type_(model_theory)}
In model theory, a branch of mathematical logic, the concept of a "type" refers to a certain way of defining properties and relationships of mathematical objects within a structure. Types provide a way to describe the behavior of elements in models with respect to certain sets of formulas.