journal.isu.ru

Начальная страница

Конечная страница

УДК

Раздел
     

Файл
Скачать Изменить файл

Название RU

Авторы RU

Аннотация RU
<p>Доказана разрешимость расширенной теории натуральных чисел в предположении выполнимости варианта гипотезы близнецов.</p>

Ключевые слова RU

Литература RU
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.

Название EN

Авторы EN

Аннотация EN
<p>Thedecidability of the extended theory of natural numbersisproven with the supposition that a variant of the twin hypothesis holds.</p>

Ключевые слова EN

Литература EN