Об аксиоматизации арифметики Бюхи
Автор: Ковалёв К.А.
Журнал: Труды Московского физико-технического института @trudy-mipt
Рубрика: Математика
Статья в выпуске: 2 (66) т.17, 2025 года.
Бесплатный доступ
Предложена явная аксиоматизация арифметики Бюхи, то есть элементарной теории натуральных чисел в сигнатуре со сложением и функцией 𝑉𝑝(𝑎) = 𝑝𝑘, где 𝑝𝑘|𝑎 и 𝑝𝑘+1 ∤ 𝑎.
Арифметика Бюхи, разрешимые теории, конечные автоматы
Короткий адрес: https://sciup.org/142245009
IDR: 142245009
Статья научная
