Гляжу лекции Москвина по лямбда исчислению (ссылка на видео, ссылка на pdf-конспект).
В pdf на странице 14 есть лемма. Если P-сигма, то SN. Лектор не разобрал лемму на лекции, однако сказал что лемма из Митчелла (на амазоне), но Митчела я не нашёл чтобы купить в электронном виде. Только твёрдый переплёт. И скачать что то не смог, увы.
Потому вопрос. В лемме, что будет IH1 и IH2 (как сформулировать), так сказать для начала. Я в математике не слишком силён.
PS. Модераторы, добавьте, пжл, тег «лямбда исчисление». Спасибо.
