Выбор БД
Тип поиска
Сортировать по:
1. Статья
bookCover
Запрягаев Александр Александрович.
Интерпретации в арифметиках Бюхи / Запрягаев Александр Александрович
// Математические основы информатики и информационно-коммуникационных систем". - Тверь : Тверской государственный университет, 2021. - С. 156-161. - Библиогр.: с. 160 (2 назв.).
Ключевые слова: Изоморфная, Арифметика, Натуральные числа, Высшая школа экономики, Формальные арифметики, Арифметики Бюхи
Ссылка на ресурс: http://texts.lib.tversu.ru/texts/151511t.pdf
Подробнее
Аннотация: Арифметиками Бюхи называются расширения арифметики Пресбургера дополнительным предикатом, зависящим от натурального параметра , служащие для формализации принятия множеств натуральных чисел, представленных в p-ичной системе счисления, конечными автоматами. В настоящей работе рассматриваются многомерные интерпретации арифметик Бюхи в себе и друг в друге для различных значений. Поднимается вопрос об отсутствии иных интерпретаций арифметик Бюхи в собственных стандартных моделях, кроме определимо изоморфных тождественной. Из утвердительного ответа на указанный вопрос следует выполнение для арифметик Бюхи гипотезы Виссера, являющейся аналогом рефлексивности для слабых арифметических теорий. Устанавливается невозможность интерпретации в арифметиках Бюхи плотного порядка, откуда следует изоморфностью всякой интерпретации такого вида тождественной (не обязательно изоморфная). Также описываются интерпретации между арифметиками Бюхи для различных значений параметра.