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

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
April 1, 2016 18:00, Moscow, Steklov Mathematical Institute of RAS

Predicative subsystem of second-order arithmetic. Lecture 7

F. N. Pakhomov

*Video records:*
	Flash Video	685.9 Mb
	Flash Video	2,594.2 Mb
	Flash Video	4,110.1 Mb
	MP4	2,604.0 Mb

Number of views:
This page:	229
Video files:	89

F. N. Pakhomov

Contact us:

Registration to the website

© Steklov Mathematical Institute RAS, 2024