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

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


April 29, 2016 (Fri) 

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






April 22, 2016 (Fri) 

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






April 15, 2016 (Fri) 

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






April 1, 2016 (Fri) 

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






March 25, 2016 (Fri) 

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






March 18, 2016 (Fri) 

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






March 11, 2016 (Fri) 

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






March 4, 2016 (Fri) 

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






February 26, 2016 (Fri) 

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






February 19, 2016 (Fri) 

10. 
Predicative subsystem of secondorder arithmetic. Lecture 1 F. N. Pakhomov February 19, 2016 17:30, Moscow, Steklov Mathematical Institute of RAS





