Теории и модели

Среда, 23 ноября 2011, 18:30–19:50
ПОМИ РАН

Описание

Теории, совместность и непротиворечивость, теорема о компактности. Примеры теорий. Аксиоматизация теорий с помощью элиминации кванторов. Арифметика Пеано. Теории и модели.