Estrutura de Herbrand

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

• Herbrand base
• Herbrand's theorem