Курс Ф. Н. Пахомова «Предикативные подсистемы арифметики второго порядка», весенний семестр 2015/2016

СЕМИНАРЫ

Курс Ф. Н. Пахомова «Предикативные подсистемы арифметики второго порядка», весенний семестр 2015/2016
15 февраля–31 мая 2016 г., МИАН, комн. 430 (ул. Губкина, 8), г. Москва

RSS: Ближайшие семинары

Руководитель
Пахомов Фёдор Николаевич

Организации
Математический институт им. В.А. Стеклова Российской академии наук, г. Москва

Курс Ф. Н. Пахомова «Предикативные подсистемы арифметики второго порядка», весенний семестр 2015/2016, г. Москва, 15 февраля–31 мая 2016 г.

Предикативные подсистемы арифметики второго порядка. Лекция 10 Ф. Н. Пахомов 29 апреля 2016 г. 17:30 г. Москва, МИАН, комн. 430 (ул. Губкина, 8)
Предикативные подсистемы арифметики второго порядка. Лекция 9 Ф. Н. Пахомов 22 апреля 2016 г. 17:30 г. Москва, МИАН, комн. 430 (ул. Губкина, 8)
Предикативные подсистемы арифметики второго порядка. Лекция 8 Ф. Н. Пахомов 15 апреля 2016 г. 17:30 г. Москва, МИАН, комн. 430 (ул. Губкина, 8)
Предикативные подсистемы арифметики второго порядка. Лекция 7 Ф. Н. Пахомов 1 апреля 2016 г. 18:00 г. Москва, МИАН, комн. 430 (ул. Губкина, 8)
Предикативные подсистемы арифметики второго порядка. Лекция 6 Ф. Н. Пахомов 25 марта 2016 г. 17:30 г. Москва, МИАН, комн. 430 (ул. Губкина, 8)
Предикативные подсистемы арифметики второго порядка. Лекция 5 Ф. Н. Пахомов 18 марта 2016 г. 17:30 г. Москва, МИАН, комн. 430 (ул. Губкина, 8)
Предикативные подсистемы арифметики второго порядка. Лекция 4 Ф. Н. Пахомов 11 марта 2016 г. 17:30 г. Москва, МИАН, комн. 430 (ул. Губкина, 8)
Предикативные подсистемы арифметики второго порядка. Лекция 3 Ф. Н. Пахомов 4 марта 2016 г. 17:30 г. Москва, МИАН, комн. 430 (ул. Губкина, 8)
Предикативные подсистемы арифметики второго порядка. Лекция 2 Ф. Н. Пахомов 26 февраля 2016 г. 17:30 г. Москва, МИАН, комн. 430 (ул. Губкина, 8)
Предикативные подсистемы арифметики второго порядка. Лекция 1 Ф. Н. Пахомов 19 февраля 2016 г. 17:30 г. Москва, МИАН, комн. 430 (ул. Губкина, 8)