F. M. Pakhomov course "Predicative subsystem of second-order arithmetic", spring semester 2015/2016

SEMINARS

F. M. Pakhomov course "Predicative subsystem of second-order arithmetic", spring semester 2015/2016
February 15–May 31, 2016, Steklov Mathematical Institute of RAS, Moscow

RSS: Forthcoming seminars

Organizer
Pakhomov Fedor Nikolaevich

Organizations
Steklov Mathematical Institute of Russian Academy of Sciences, Moscow

F. M. Pakhomov course "Predicative subsystem of second-order arithmetic", spring semester 2015/2016, Moscow, February 15–May 31, 2016

Predicative subsystem of second-order arithmetic. Lecture 10 F. N. Pakhomov April 29, 2016 17:30 Moscow, Steklov Mathematical Institute of RAS
Predicative subsystem of second-order arithmetic. Lecture 9 F. N. Pakhomov April 22, 2016 17:30 Moscow, Steklov Mathematical Institute of RAS
Predicative subsystem of second-order arithmetic. Lecture 8 F. N. Pakhomov April 15, 2016 17:30 Moscow, Steklov Mathematical Institute of RAS
Predicative subsystem of second-order arithmetic. Lecture 7 F. N. Pakhomov April 1, 2016 18:00 Moscow, Steklov Mathematical Institute of RAS
Predicative subsystem of second-order arithmetic. Lecture 6 F. N. Pakhomov March 25, 2016 17:30 Moscow, Steklov Mathematical Institute of RAS
Predicative subsystem of second-order arithmetic. Lecture 5 F. N. Pakhomov March 18, 2016 17:30 Moscow, Steklov Mathematical Institute of RAS
Predicative subsystem of second-order arithmetic. Lecture 4 F. N. Pakhomov March 11, 2016 17:30 Moscow, Steklov Mathematical Institute of RAS
Predicative subsystem of second-order arithmetic. Lecture 3 F. N. Pakhomov March 4, 2016 17:30 Moscow, Steklov Mathematical Institute of RAS
Predicative subsystem of second-order arithmetic. Lecture 2 F. N. Pakhomov February 26, 2016 17:30 Moscow, Steklov Mathematical Institute of RAS
Predicative subsystem of second-order arithmetic. Lecture 1 F. N. Pakhomov February 19, 2016 17:30 Moscow, Steklov Mathematical Institute of RAS