Интерпретация (теория моделей)
-
Определение интерпретации структуры
- Интерпретация структуры M в N приближает идею представления M внутри N.
- Интерпретация включает пару (n, f), где n — натуральное число, а f — сюръективное отображение.
- Отображение f должно быть прообразом каждого множества X ∈ Mk в N.
-
Связь с другими областями математической логики
- В других областях математической логики термин «интерпретация» может иметь другое значение.
-
Примеры интерпретаций
- Приведен пример интерпретации поля Q рациональных чисел в кольце Z целых чисел.
- Для проверки интерпретируемости необходимо проверить прообразы определяемых множеств.
-
Двойная интерпретация структур
- Две структуры M и N могут быть двоякоинтерпретируемы, если существуют интерпретации M в N и N в M.
-
Рекомендации по дальнейшему чтению
- Указаны разделы философского портала, где можно найти дополнительную информацию по теме интерпретации структур.