x 1.00
Лекция 7. Эквивалентность моделей
- 00:09Логическое (семантическое) замыкание.
- 04:50Лемма о совпадении логических замыканий теорий.
- 06:57Лемма об условиях полноты теории.
- 23:38Модели с оценкой.
- 46:54Лемма о корректности определения оцененного терма и оцененной формулы.
- 59:04Определение эквивалентности моделей.
- 01:09:42Лемма. Изоморфность это отношение эквивалентности.
- 01:14:59Теорема о значении оцененного терма при преобразованиях.