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

0:00:09 1. Равносильность моделей. Теорема 0:13:18 2. Теорема о следствии элементарной эквивалентности моделей из их изоморфности 0:25:53 3. Примеры моделей 0:48:16 4. Пример. Существование неарифметических подмножеств натуральных чисел 0:55:53 5. Лемма 8.3. Условие верности оцененной формулы для модели 1:10:33 6. Лемма 8.4. Верность аксиом в нормальной модели 1:24:01 7. Лемма 8.5. Условие корректности определения модели