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