Volume 158, Issue 5

This issue is a translation of Zapiski Nauchnykh Seminarov Sankt-Peterburgskogo Otdeleniya Matematicheskogo Instituta im. V. A. Steklova Rossiiskoi Akademii Nauk (Notes of Scientific Seminars of the St. Petersburg Department of the Steklov Mathematical Institute, Russian Academy of Sciences), Vol. 358, 2008. This issue is entitled Studies in Constructive Mathematics and Mathematical Logic, Part XI, and was edited by M. A. Vsemirnov.