Генкин Леон. О математической индукции

М.: Главная редакция физико-математической литературы, 1962. — 36 с. — (Математическая библиотечка).Эта работа, написанная Л. Генкиным для «Математического просвещения», не потребует от читателя никаких предварительных познаний. Неспециалист получит из нее верное представление о характере многих рассуждений современной теории моделей. Специалисту также интересно будет познакомиться с некоторыми свежими соображениями, относящимися к связи между теорией рекурсивных определений (т. е. определениями по индукции) и теорией моделей, изучение которой составляет предмет работы Генкина.Введение.
Модели и аксиомы Пеано.
Операции, определенные по математической индукции.
Сложение и умножение в произвольных индукционных моделях.
Операции в моделях Пеано, получаемые путем примитивной рекурсии.
Отношение между моделями Пеано и индукционными моделями.
Отношения конгруэнтности.
Характеризация моделей Пеано.
Заключение.
Файл представляет собой сканированный файл, поэтому качество не самое лучшее.