Шехтман В. Б. - Введение в математическую логику и теорию алгоритмов - Эквивалентность моделей

0:00:09 1. Логическое (семантическое) замыкание 0:04:50 2. Лемма о совпадении логических замыканий теорий 0:06:57 3. Лемма об условиях полноты теории 0:23:38 4. Модели с оценкой 0:46:54 5. Лемма о корректности определения оцененного терма и оцененной формулы 0:59:04 6. Определение эквивалентности моделей 1:09:42 7. Лемма. Изоморфность это отношение эквивалентности 1:14:59 8. Теорема о значении оцененного терма при преобразованиях