List of issues > Series «Mathematics». 2009. Vol. 2
An Extended Twin Hypothesis and the Theory of Natural Numbers with Distinguished Primary Numbers
Author(s)
V.I. Martyanov
Abstract
Thedecidability of the extended theory of natural numbersisproven with the supposition that a variant of the twin hypothesis holds.
Keywords
model theory, elementary theories decidability
UDC
510.67
References
1. Беляков Э. Б. Универсальные теории целых чисел и расширенная гипотеза близнецов/ Э. Б. Беляков, В. И.Мартьянов// Алгебраилогика. —1983. — № 1. — С. 26–34.
2. Робинсон А. Введение в теорию моделей и метаматематику алгебры. — М.: Наука, 1967. — 267с. Т. 20, No 4. — С. 37–108.
3. ЕршовЮ. Л.Элементарныетеории/ Ю. Л.Ершов, И.А. Лавров,А. Д.Тайманов,М.А.Тайцлин//Успехиматематическихнаук. — 1965. — Т.20,No4. — С. 37–108.
4. КокоринА. И. Вопросыразрешимостирасширенныхтеорий/А. И. Кокорин, А.Г.Пинус// Успехиматематическихнаук. — 1978. — Т.33,No2. — С.49–84.