Estrutura de Herbrand

Origem: Wikipédia, a enciclopédia livre.
Ir para: navegação, pesquisa

Em matemática, para uma linguagem \mathcal{L}, define o Universo de Herbrand para o conjunto de condições básicas de \mathcal{L}.

Uma estrutura \mathfrak{M} de \mathcal{L} é a Estrutura de Herbrand se o domínio de \mathfrak{M} é o universo de Herbrand de \mathcal{L} e a interpretação de \mathfrak{M} é a Interpretação de Herbrand. Isso corrige o domínio de \mathfrak{M}, e de modo que cada Estrutura de Herbrand possa ser identificada com sua interpretação.

Um Modelo de Herbrand de uma teoria T é a estrutura de Herbrand que é um modelo de T.

Veja também[editar | editar código-fonte]