tipo

Na teoria do modelo e áreas relacionadas da matemática, um tipo é um objeto que, falando livremente, descreve como um elemento (real ou possível) ou elementos em uma estrutura matemática podem se comportar. Mais precisamente, é um conjunto de fórmulas de primeira ordem em uma linguagem L com variáveis livres x1, x2, ..., xn que são verdadeiras de uma sequência de elementos de uma L-estrutura . Dependendo do contexto, os tipos podem ser completos ou parciais e podem utilizar um conjunto fixo de constantes, A, da estrutura . A questão de quais tipos representam elementos reais de nos leva às ideias de e tipos de omissão.