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)

F. M. Pakhomov course "Predicative subsystem of second-order arithmetic", spring semester 2015/2016, Moscow, February 15–May 31, 2016
	April 29, 2016 (Fri)
1.	Predicative subsystem of second-order 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 second-order 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 second-order 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 second-order 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 second-order 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 second-order 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 second-order 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 second-order 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 second-order 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 second-order arithmetic. Lecture 1 F. N. Pakhomov February 19, 2016 17:30, Moscow, Steklov Mathematical Institute of RAS