MIPT-ML-20-Lect-16

Математическая логика в МФТИ для ПМФ. Темы: сложение и умножение л.у.м. и в.у.м.; монотонные отображения в.у.м.; начальные отрезки в.у.м; невозможность изоморфизма в.у.м. и его собственного начального отрезка; сравнение и сравнимость в.у.м. (пока без доказательства).