Type in model theory

In model theory , a type $\Gamma(x_1\cdots x_n)$ in the variables $x_1,\cdots,x_n$ is a maximal consistent set of formulas in those variables.

model-theory

first-order-logic

back to home page