Арифметическая иерархия

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

Описание

Арифметическая иерархия. Универсальные множества в арифметической иерархии. Строгость арифметической иерархии. Теоремы Тарского и Геделя. Прямое доказательство теоремы Геделя о неполноте.