RUS  ENG JOURNALS   PEOPLE   ORGANISATIONS   CONFERENCES   SEMINARS   VIDEO LIBRARY   PERSONAL OFFICE


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


Seminar schedule

RSS: Forthcoming seminars

Chairman
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

April 29, 2016
1. Predicative subsystem of second-order arithmetic. Lecture 10
F. N. Pakhomov
April 29, 2016 17:30, Moscow, Steklov Mathematical Institute of RAS
F. N. Pakhomov
  

April 22, 2016
2. Predicative subsystem of second-order arithmetic. Lecture 9
F. N. Pakhomov
April 22, 2016 17:30, Moscow, Steklov Mathematical Institute of RAS
F. N. Pakhomov
  

April 15, 2016
3. Predicative subsystem of second-order arithmetic. Lecture 8
F. N. Pakhomov
April 15, 2016 17:30, Moscow, Steklov Mathematical Institute of RAS
F. N. Pakhomov
  

April 1, 2016
4. Predicative subsystem of second-order arithmetic. Lecture 7
F. N. Pakhomov
April 1, 2016 18:00, Moscow, Steklov Mathematical Institute of RAS
F. N. Pakhomov
  

March 25, 2016
5. Predicative subsystem of second-order arithmetic. Lecture 6
F. N. Pakhomov
March 25, 2016 17:30, Moscow, Steklov Mathematical Institute of RAS
F. N. Pakhomov
  

March 18, 2016
6. Predicative subsystem of second-order arithmetic. Lecture 5
F. N. Pakhomov
March 18, 2016 17:30, Moscow, Steklov Mathematical Institute of RAS
F. N. Pakhomov
  

March 11, 2016
7. Predicative subsystem of second-order arithmetic. Lecture 4
F. N. Pakhomov
March 11, 2016 17:30, Moscow, Steklov Mathematical Institute of RAS
F. N. Pakhomov
  

March 4, 2016
8. Predicative subsystem of second-order arithmetic. Lecture 3
F. N. Pakhomov
March 4, 2016 17:30, Moscow, Steklov Mathematical Institute of RAS
F. N. Pakhomov
  

February 26, 2016
9. Predicative subsystem of second-order arithmetic. Lecture 2
F. N. Pakhomov
February 26, 2016 17:30, Moscow, Steklov Mathematical Institute of RAS
F. N. Pakhomov
  

February 19, 2016
10. Predicative subsystem of second-order arithmetic. Lecture 1
F. N. Pakhomov
February 19, 2016 17:30, Moscow, Steklov Mathematical Institute of RAS
F. N. Pakhomov
  
 
Contact us:
 Terms of Use  Registration  Logotypes © Steklov Mathematical Institute RAS, 2017