type

Term in model theory and related areas of mathematics

EntityQ834884

Also known as omitting types

Subclass of: mathematical object

Overview

From Wikipedia, the free encyclopedia · Read full article · Text CC BY-SA 4.0

In model theory and related areas of mathematics, a type is an object that describes how a element or finite collection of elements in a mathematical structure might behave. More precisely, it is a set of first-order formulas in a language L with free variables x1, x2,..., xn that are true of a set of n-tuples of an L-structure . Depending on the context, types can be complete or partial and they may use a fixed set of constants, A, from the structure . The question of which types represent actual elements of leads to the ideas of saturated models and omitting types.

Overview

All data

8 statements · 13% with external sources · numbers in brackets are citations

Facet of: model theory
Different from: Type criterion used: descriptive page and disambiguation page have to be in different items · applies to name of subject: type
Typ criterion used: descriptive page and disambiguation page have to be in different items · applies to name of subject: Typ
Tipo criterion used: descriptive page and disambiguation page have to be in different items · applies to name of subject: tipo

On other databases

4 identifiers linking type across the web's reference databases

Data quality

statements

13%

externally sourced

Source last edited September 6, 2026. AIDB refreshes this page daily.

Suggest a fact or correction

Links

Use this data

curl https://aidb.si/api/v1/entities/Q834884

API docs, limits & keys

Cite this page

AIDB. (2026). type (Q834884). Retrieved from https://aidb.si/e/type-Q834884