Структура бренда Herbrand
-
Основы логики первого порядка
- Структура Гербранда S определяется синтаксисом словаря σ.
- Термины в словаре интерпретируются как значения символьных строк.
- Жак Эрбран является автором этой структуры.
-
Вселенная Гербранда
- Вселенная Гербранда — это счетно бесконечное множество, если словарь σ счетный и есть функциональные символы.
- В контексте языков первого порядка, это просто словарь σ.
-
Структура Гербранда
- Структура Гербранда интерпретирует термины над вселенной Гербранда.
- Множество W0 состоит из членов без переменных.
- Структура Гербранда является моделью теории, если она удовлетворяет определенным условиям.
-
Примеры
- Примеры интерпретации терминов включают константы и унарные функции.
-
База Гербранда
- База Гербранда включает основные атомы с аргументами из вселенной Гербранда.
-
Дополнительные сведения
- Упоминается теорема Гербранда и другие связанные темы.