Интерпретации моделей и логических теорий

Понятие интерпретации играет важную роль логике, но редко входит в традиционные курсы. Теория Т интерпретируется в U, если существует перевод выражений языка Т на язык U, сохраняющий теоремы. В докладе мы разберем несколько известных примеров интерпретаций и рассмотрим ситуации, когда интерпретация невозможна.