On axiomatization of B¨uchi arithmetic
Автор: Kovalyov K.A.
Журнал: Труды Московского физико-технического института @trudy-mipt
Рубрика: Математика
Статья в выпуске: 2 (66) т.17, 2025 года.
Бесплатный доступ
An explicit axiomatization of B¨uchi arithmetic is proposed, that is, the elementary theory of natural numbers in the language with addition and function 𝑉𝑝(𝑎) = 𝑝𝑘 such that 𝑝𝑘|𝑎 and 𝑝𝑘+1 ∤ 𝑎.
B¨uchi arithmetic, decidable theories, finite automata
Короткий адрес: https://sciup.org/142245009
IDR: 142245009
Статья научная
