Лекция 13. Л.Д. Беклемишев, Т.Л. Яворская. Доказуемость и формальная арифметика, часть 2.

Whole-channel inclusion: МЦМУ МИАН (title sample: This is the Steklov Mathematical Institute's lecture archive, consisting almost entirely of full-length advanced mathematics lectures and seminars by researchers, a textbook case of genuine educational content.; 2 of 3 sampled transcripts read as real teaching); this title passed a strict title check.

A 92-minute video from МЦМУ МИАН: “Лекция 13. Л.Д. Беклемишев, Т.Л. Яворская. Доказуемость и формальная арифметика, часть 2.”.

Video by МЦМУ МИАН, played through YouTube's embedded player.