СПб.: АФТУ РАН, 2010. — 11 с.
[Академический физико-технологический университет РАН (АФТУ
РАН). С.-Петербург].
Аннотация.
Представлен конспект лекций по математической логике, прочитанный автором, студентам АФТУ РАН, II семестр, весна 2010 г.
[Это из кратких лекций одногодичного курса по математической логике, который был представлен осенью 2009 года и весной 2010 года в Академическом физико-технологическом университете РАН (АФТУ РАН)].
Первый семестр служил напоминанием и/или введением основных понятий математической логики.
II семестр был продвинутым курсом, прежде всего сосредоточенным на теории моделей.
Содержание.
1. Типы и топология Стоуна.
2. Теория Рамсея и недоказуемость.
3. Простые модели, однородные модели и стабильные теории.
4. Насыщенные и универсальные модели.
5. (l,m)-модели и пары Вота.
6. Модели Эренфойхта-Мостовского.
7. Минимальные множества и теории.
8. Классификация несчётно категоричных теорий.
9. Теория множеств и ординалы.
10. Нестандартный анализ.
11. Ранг Морли.
12. Интуиционизм и конструктивная математика.
Представлен конспект лекций по математической логике, прочитанный автором, студентам АФТУ РАН, II семестр, весна 2010 г.
[Это из кратких лекций одногодичного курса по математической логике, который был представлен осенью 2009 года и весной 2010 года в Академическом физико-технологическом университете РАН (АФТУ РАН)].
Первый семестр служил напоминанием и/или введением основных понятий математической логики.
II семестр был продвинутым курсом, прежде всего сосредоточенным на теории моделей.
Содержание.
1. Типы и топология Стоуна.
2. Теория Рамсея и недоказуемость.
3. Простые модели, однородные модели и стабильные теории.
4. Насыщенные и универсальные модели.
5. (l,m)-модели и пары Вота.
6. Модели Эренфойхта-Мостовского.
7. Минимальные множества и теории.
8. Классификация несчётно категоричных теорий.
9. Теория множеств и ординалы.
10. Нестандартный анализ.
11. Ранг Морли.
12. Интуиционизм и конструктивная математика.