Классификация линейных порядков, интерпретируемых многомерно в арифметике Пресбургера

?

Классификация линейных порядков, интерпретируемых многомерно в арифметике Пресбургера

С. 16–18.

Мы рассматриваем многомерные интерпретации линейных порядков в стандартной модели (N, +) арифметики Пресбургера. Устанавливается, что всякий такой порядок переводится определимым изоморфизмом в сужение лексикографического порядка Z 𝑛 на некоторое определимое множество для достаточно большого 𝑛. Это даёт более простое доказательство гипотезы Виссера об определимом изоморфизме тождественной всякой интерпретации самой арифметики Пресбургера в (N, +).

Язык: русский

Полный текст

Текст на другом сайте

В книге

Двенадцатые Смирновские чтения: материалы Международной научной конференции, Москва, 24–26 июня 2021 г.

М.: Русское общество истории и философии науки, 2021.

Some properties of Büchi Arithmetics

Запрягаев А. А., / Series arXiv "math". 2023.

Добавлено: 25 октября 2023 г.

Об интерпретациях арифметики Пресбургера в арифметиках Бюхи

Запрягаев А. А., Доклады Российской академии наук. Математика, информатика, процессы управления (ранее - Доклады Академии Наук. Математика) 2023 Т. 510 С. 3–7

Арифметики Бюхи BAn, n≥2, являются расширениями арифметики Пресбургера унарным функциональным символом Vn(x), обозначающим наибольшую степень n, делящую x. Определимость множества в BAn эквивалентна распознаванию его конечным автоматом, принимающим числа в n-ичной записи. Мы рассматриваем интерпретации арифметики Пресбургера в стандартной модели BAn и показываем, что для всякой такой интерпретации внутренняя модель изоморфна стандартной. Это дает ответ на вопрос А. Виссера, касающийся интерпретаций некоторых слабых арифметических теорий ...

Добавлено: 27 июля 2023 г.

К вопросу о применении гуманитарно-научных методов в процессе анализа историко-правовых источников

Зорилэ Д. В., Тенденции развития науки и образования 2021 Т. 75 № 3 С. 37–42

В статье рассматривается вопрос применения в историко-правовых исследованиях методологии, получившей развитие в смежных гуманитарных дисциплинах - в молодой области - юрислингвистике, развивающей комплекс сравнительных методов и подходов.Анализируются особенности применения соответствующего методологического инструментария в процессе интерпреатции текстов историко-правовой направленности, в частности, проблемы адекватного перевода зарубежных источников, в первую очередь - правовой терминологии. В статье использованы как ...

Добавлено: 4 декабря 2022 г.

Presburger arithmetic and Visser's conjecture

Запрягаев А. А., , in: Logical Perspectives 2021 Workshop.: M.: [б.и.], 2021. Ch. 18.

Добавлено: 14 декабря 2021 г.

Multi-dimensional Interpretations of Presburger Arithmetic in Itself

Пахомов Ф. Н., Запрягаев А. А., Journal of Logic and Computation 2020 Vol. 30 No. 8 P. 1681–1693

Добавлено: 12 ноября 2020 г.

Interpretations of Linear Orderings in Presburger Arithmetic

Запрягаев А. А., / Series arXiv "math". 2019. No. 1911.07182.

Presburger Arithmetic PrA is the true theory of natural numbers with addition. We consider linear orderings interpretable in Presburger Arithmetic and establish various necessary and sufficient conditions for interpretability depending on dimension n of interpretation. We note this problem is relevant to the interpretations of Presburger Arithmetic in itself, as well as the characterization of automatic orderings. For n=2 we obtain ...

Добавлено: 28 ноября 2019 г.

Interpretations of Presburger Arithmetic in Itself

Запрягаев А. А., Пахомов Ф. Н., , in: International Symposium on Logical Foundations of Computer Science, LFCS 2018Vol. 10703.: Springer, 2018. P. 354–367.

Добавлено: 25 октября 2019 г.

Interpretations of presburger arithmetic in itself(

Zapryagaev A., Пахомов Ф. Н., , in: International Symposium on Logical Foundations of Computer Science, LFCS 2018Vol. 10703.: Springer, 2018. P. 354–367.

Добавлено: 11 апреля 2018 г.