Seminars: F. N. Pakhomov, Predicative subsystem of second-order arithmetic. Lecture 5

Seminars

RUS ENG

JOURNALS PEOPLE ORGANISATIONS CONFERENCES SEMINARS VIDEO LIBRARY PACKAGE AMSBIB

JavaScript is disabled in your browser. Please switch it on to enable full functionality of the website

	Calendar
	Search
	Add a seminar

	RSS
	Forthcoming seminars

F. M. Pakhomov course "Predicative subsystem of second-order arithmetic", spring semester 2015/2016
March 18, 2016 17:30, Moscow, Steklov Mathematical Institute of RAS

Predicative subsystem of second-order arithmetic. Lecture 5

F. N. Pakhomov

*Video records:*
	Flash Video	5,050.8 Mb
	Flash Video	3,188.1 Mb
	Flash Video	842.9 Mb
	MP4	3,198.9 Mb

Number of views:
This page:	254
Video files:	133

F. N. Pakhomov

Contact us:

Registration to the website

© Steklov Mathematical Institute RAS, 2024