Математическая логика II

Краткий конспект лекций второго семестра (весна 2010). Конспект содержит определения и утверждения, но не содержит доказательств.

Темы занятий

1. Теория множеств. Ординалы
2. Типы и топология Стоуна.
3. Теория Рамсея и недоказуемость.
4. Простые модели, однородные модели и стабильные теории.
5. Насыщенные и универсальные модели.
6. (λ, μ)-модели и пары Вота.
7. Модели Эренфойхта-Мостовского.
8. Минимальные множества и теории.
9. Классификация несчётно категоричных теорий.
10. Нестандартный анализ.
11. Ранг Морли.
12. Интуиционизм и конструктивная математика.