Estrutura de Herbrand

Predefinição:Sem fontes Em matemática, para uma linguagem $ℒ$, define o Universo de Herbrand para o conjunto de condições básicas de $ℒ$.

Uma estrutura $𝔐$ de $ℒ$ é a Estrutura de Herbrand se o domínio de $𝔐$ é o universo de Herbrand de $ℒ$ e a interpretação de $𝔐$ é a Interpretação de Herbrand. Isso corrige o domínio de $𝔐$, 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

• Herbrand base
• Herbrand's theorem