Расширенная гипотеза близнецов и теория натуральных чисел с выделенными простыми числами Текст научной статьи по специальности «Математика»

Серия «Математика»

2009. Т. 2, № 2, С. 105-116

Онлайн-доступ к журналу: http://isu.ru/izvestia

УДК 510.67

Расширенная гипотеза близнецов и теория натуральных чисел с выделенными простыми числами

В. И. Мартьянов

Иркутский государственный технический университет

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

Ключевые слова: Терия моделей, разрешимость элементарных теорий

Рассматривается элементарная теория натуральных чисел в сигнатуре {<, Р), где < — отношение порядка, Р — предикат, выделяющий простые числа. Язык данной теории достаточно богат и, в частности, позволяет записать знаменитую гипотезу близнецов. Выполнимость гипотезы близнецов адекватна истинности на модели (2; <, Р) формулы

где Н(а,Ь) — отношение непосредственного следования, формульное в данной сигнатуре. Действительно,

В настоящей работе доказывается разрешимость элементарной теории натуральных чисел с порядком и предикатом, выделяющим простые числа в предположении выполнимости расширенной гипотезы близнецов (РГБ), формулируемой следующим образом.

Пусть дана некоторая совокупность многочленов

где а3, ] = 1,... ,п, образуют возрастающую последовательность неотрицательных чисел. Предположим, что для некоторого а значения многочленов /(а);...; /п(а) обратимые в кольце вычетов целых чисел по

Vx3y3z3u(x < у & P(у) & H(у, z) & H(z, u) & P(u)),

H(a, b) ^ Vx(a < b & —(a < x & x < b)).

/i(x) = x + ai;...; f„(x) = x + a„,

(1.1)

модулю (2п)! (в дальнейшем такие совокупности многочленов (1.1) будем называть удовлетворяющими условиям РГБ). Тогда существует сколь угодно большое число в такое, что значения многочленов /1 (в);...; /п(в) — простые числа, а остальные целые числа, в интервале (Л(в), /п(в)) — составные.

Все необходимые для понимания работы сведения можно найти в [2, 3], обзор результатов, близких к данной тематике, приведен в [4]. Более сильный вариант РГБ использовался при рассмотрении [1] универсальной теории целых чисел со сложением, отношением делимости и предикатом, выделяющим простые числа.

Доказательство разрешимости теории (Ж; <, Р) (в предположении выполнимости РГБ) будем вести следующим образом. Вначале определим рекурсивную систему аксиом Г, выполнимую на модели (Ж; <, Р). Далее, построим расширение т сигнатуры (<, Р) такое, что теория Г модельно полна в расширенной сигнатуре т. На заключительном этапе будет показано, что все модели теории Г универсально эквивалентны в сигнатуре т. Тогда в силу известного признака полноты (модельно полная и универсально полная теория полна [2]) теория Г полна. Таким образом, Г — система аксиом модели (Ж; <, Р), что доказывает разрешимость элементарной теории целых чисел с порядком и предикатом, выделяющим простые числа, в предположении выполнимости РГБ.

1°. Система аксиом, Г состоит из пяти частей. Первая часть — аксиомы дискретного линейного порядка с минимальным элементом.

Вторая часть утверждает существование для каждой конечной совокупности элементов из (Ж; <, Р) совокупности элементов в Г-модели с изоморфной диаграммой (т.е. (Ж; <, Р) конечно изоморфно вложима в любую Г-модель).

Третья часть соответствует явному перечислению всех совокупностей многочленов, для которых утверждается РГБ. В частности, в эту группу аксиом будет включена формула, эквивалентная гипотезе близнецов.

Четвертая часть утверждает, что если элементы а + 61,..., а + простые, (по определению Ъ = а + 1, если Н(а, Ъ)), то многочлены х + 61;...; х + Ъ^ удовлетворяют условиям РГБ.

Пятая часть утверждает, что любой отрезок, имеющий более (2п)! элементов, содержит отрезок из п непростых (составных) элементов.

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

Отрезком будем называть последовательность элементов Г-модели, где рядом стоящие элементы связаны отношением непосредственного следования.

Элементы а и Ъ из Г-модели назовем бесконечно отстоящими, если они не могут быть элементами никакого конечного отрезка.

Сформулируем ряд утверждений о свойствах Г-моделей, которые будут весьма полезны при дальнейших рассмотрениях.

Лемма 1. Пусть

а + Ьі,...,а + Ьк; с + йі,...,с + йт —

простые числа, образующие возрастающую последовательность, и а + Ьі > 2(к + т). Тогда существует число і такое, что многочлены

х + Ьі; ...; х + Ък; ж + (і + йі); ...; ж + (і + йт)

удовлетворяют условиям РГБ, и, следовательно, в предположении выполнимости РГБ, существует число ш такое, что

ш + Ьі,...,ш + Ък , ш + (і + йі); ...; ш + (і + йт)

простые числа.

Доказательство. Так как числа

а + Ьі, ..., а + Ък; с + йі, ..., с + йт

обратимые по модулю числа (2(2к + т))!, то в качестве і можно взять число с — а, а числом а (из определения РГБ) будет а. Тогда существование требуемого ш — непосредственное следствие РГБ. Лемма доказана. □

Лемма 2. Пусть последовательность аі,...,ап является отрезком некоторой Г-модели. Тогда данная последовательность изоморфно вло-жима в сигнатуре (<, Р, Н) в множество целых чисел.

Доказательство непосредственно следует из четвертой части системы аксиом Г и предположения выполнимости РГБ.

Лемма 3. Пусть последовательности аі,..., ап и Ьі,...,Ьт расположены в порядке возрастания и являются отрезками некоторой Г-модели и Ьі бесконечно отстоит от элемента ап. Тогда для любого наперед заданного натурального к данные последовательности изоморфно вложим,ы в сигнатуре (<, Р, Н) в возрастающие последовательности целых чисел сі,..., сп и йі,..., йт, причем к < йі — сп, и все числа, лежащие в интервале от сп до йі, составные.

Доказательство. В силу леммы 2 последовательности аі,...,ап и Ьі,..., Ът изоморфно вложимы в сигнатуре (<, Р, Н) в последовательности целых чисел ¿і,..., іп и иі,..., пт. Если воспользоваться РГБ,

то последовательность и1,..., ит можно разместить дальше последовательности ¿1,..., ¿п. Далее, пусть Р1,... , и 51,..., ^ все простые числа из последовательностей ¿1,..., и и1,..., ит, соответсвенно. Тогда совокупность многочленов

х + Р1,...,х + р8,х + к(2^ + V))! + 51,... ,х + к(2(з + V))! + дь

удовлетворяет условиям РГБ и применение РГБ для данной совокупности многочленов доказывает лемму. □

2°. Построение расширенной сигнатуры т. Начальное расширение сигнатуры а получается включением отношения непосредственного следования Н(х,у), определенного выше. Предикаты формульного расширения будут строиться рекурсивным образом по следующей схеме.

Определим индукцией по числу п совокупности кортежей .

Основание индукции.

Ро = {(ао,въ... ,вп, ап) : а% = Р или а* = -Р; вг = Н или вг = -Н}.

Индукционный шаг.

Рт = {(ао, въ..., вп, а„) : а* = Р или а = -; вг = Н, или

вг = -Н, или вг = (71, . . . , 1к), где ~/г = Н, или 7» = -Н, или 7г € Ро и ... и Рт-1}.

-- ^ ----------------------------------

Положим Р = и Рг. Каждому кортежу 0 из Р сопоставим фор-

г=0

мульные предикаты Ув(а, Ъ) и эдв(а). Определение формульных предикатов будет дано индукцией по рангу соответствующих кортежей (ранг жортежа из Рг равен г).

Основание индукции. Пусть кортеж 0 = (ао, въ ..., вп, ап) из множества Ро. Тогда

ув(а, Ъ) = 3х1... хп-1(а < х1 < ... < хп-1 < Ъ & ао(а) & а1(х1) & ... & ап-1(хп-1) & ап(Ъ) &

в1(а,х1)&... &вп(х„-1,Ъ)), (1.2)

■шв(а) = 3х1... хп(а < х1 < ... < хп-1 < хп & ао(а) & а1(х1) & ... & ап(хп) & в1 (а, х1) & ... & вп(хп-1, хп)).

Индукционный шаг. Пусть кортеж 0 = (ао, въ ..., вп, ап) из множества Рт, где т > 0. Тогда

ув(а, Ъ) = 3х1... хп-1(а < х1 < ... < хп-1 < Ъ & ао &

а1(х1) & ... & ап-1(хп-1) & ап(Ъ) & в1(а, х1) &

& ... &вп(х„-1,Ъ)), (1.3)

■шв(а) = 3х1... хп(а < х1 < ... < хп-1 < хп & ао(а) & а1(х1) & ... & ап(хп) & в1 (а, х1) & ... & вп(хп-1, хп)), где вг = (71, . . . ,7к),

вг(хг,хг+1) = 71 (хг, хг+1) & ... & 7к(хг,хг+1),

причем 7?(хг,хг+1) = 7^-(хг,хг+1), если 7? = Н или 7? = —Н и 7? (хг, хг+1) = —7? (хг, хг+1), если 7? € Ро и ... и Рт-ъ

Отметим, что формульные предикаты Ув(а, Ъ) и -шв(а) имеют одинаковый содержательный смысл и эту связь наиболее точно выражает следующее тождество:

wв (а) = Зх„(^в (а, х„)). (1.4)

Всю совокупность формульных предикатов будем обозначать

О = Оо и... и Оп и...,

где Оп — совокупность формульных предикатов ранга п, соответствующих кортежам из множества Рп.

Сигнатура т получается включением всех вышеуказанных формульных предикатов. При доказательстве модельной полноты теории Г в сигнатуре т будет использоваться следующая

Лемма 4. Пусть модель М = (М; т) такая, что (М; <) — дискретное линейно упорядоченное множество и элементы а, Ъ, с, а1, Ъ1, С1 € М, причем а < Ъ < с; а1 < Ъ1 < С1. Предположим, что для любых формульных предикатов У1(х,у), У2(х,у) € О, выполняется

М |= у1 (а, Ъ),у2(Ъ,с) ^ М |= У1(а1,Ъ1),у2(Ъ1,с).

Тогда для любого формульного предиката у(х, у) € О

М |= у(а, с) ^ М |= у(а1,с1).

Доказательство. Доказательство будем вести индукцией по рангу предиката у(х, у).

Основание индукции. Пусть формульный предикат у(х, у) определяется кортежем 0 = (ао, въ ..., вп, ап) € Оо и М |= Ув(а, с). Необходимо доказать, что М |= Ув(а1, с1). Действительно, по определению формульных предикатов существуют элементы ^1 < ^2 < ■ ■ ■ < ^п-1 € М, лежащие в интервале (а, с) и удовлетворяющие формуле (1.2). Возможны следующие два случая.

1. Ъ = ^г. Тогда М |= Уг(а, Ъ), ур(Ъ, с), где

$ — (ао, в1, . . . , вг, аг); р — (аг, вг+Ъ . . . , вn, ап).

По условию леммы М |= Уг(а1, Ъ1), Ур(Ъ1, с1) и, следовательно, из вида кортежей 5 и р имеем

2. ^г < Ъ < с^г+1. В этом случае вг+1 = —Н. Положим а° = Р, если Ъ простое, и а° = —Р — в противном случае, в° = Н, если Н(хг,Ъ) и в° = —Н, если —Н(^г,Ъ). Аналогично, в°° = Н, если Н(Ъ, ^г+1) и в°° = —Н, если —Н(Ъ, ^г+1).

Положим кортежи

5 = (ао ,в1,...,вг,аг,в°,а°); р = (а°, в°°, аг, вг+1,..., вп, ап).

Тогда М |= Уг(а, Ъ),ур(Ъ, с). По условию леммы М |= Уг(а1, Ъ1), ур(Ъ1, с1) и, следовательно, из вида кортежей 5 и Р получаем

Индукционный шаг. Предположим по индукции, что для всех формульных предикатов у(х, у) ранга меньшего т (т > 0) выполняется

и кортеж 0 = (ао, въ ..., вп, ап) имеет ранг т.

По определению формульных предикатов существуют элементы ^1 < ^2 < ... < ^п-1 € М, лежащие в интервале (а, с) такие, что на данных элементах истинна формула (1.3).

Также, как при доказательстве основания индукции, возможны следующие два случая.

1. Ъ = ^г. Тогда М |= Уг (а, Ъ), ур(Ъ, с), где

5 — (ао, в1, . . . , вг, аг); р — (аг, вг+1, . . . , вn, ап).

По условию леммы М |= Уг(а1, Ъ1), Ур(Ъ1, с1) и, следовательно, из вида кортежей 5 и Р имеем

2. ^г < Ъ < ¿¿г+1. В этом случае нам будет удобно пользоваться индукционным предположением в следующей форме. Для любого формульного предиката Уд(х, у), ранга меньшего т, существуют формульные предикаты

М |= Ув(аьс1).

М |= Ув(аьс1).

М |= у(а,с) ^ М |= у(а1,с1).

М |= Ув(аьс1).

ущ (х,у),..., у%(х у); У^х (х,у),..., У^ (х у)

(1.5)

такие, что из

М 1= уЧ1 (а, Ъ),... ,у%(а, Ъ); М |= у^ (Ъ,с),..., у^(Ъ,с).

следует М |= Уд (а, с). Кроме того, нам будет необходимо данное индукционное предположение для отрицаний предиката —Уд(х,у). В этом случае утверждается существование формульных предикатов

УП1 (х,у),..., у%(х у); у^1 (х,у),..., У^(х у)

таких, что из

М |= — Уп1 (а,Ъ),..., —у%(а,Ъ); М |= —у^ (Ъ,с),..., — у^(Ъ,с).

следует М |= —Уд(а, с).

Данная форма индукционного предположения для предикатов без отрицаний имеет доказанное основание индукции в выше приведенном доказательстве основания индукции для случая 1. (Действительно, в качестве формульных предикатов (1.5) можно взять Уг(х,у), Ур(х, у)). Проверим выполнимость основания индукции для отрицания предиката. Пусть М |= — Уд(а, с), где Л = (то, Хъ..., т^, Хй), А € Ро и г (соответственно _/) минимальное (максимальное) число такое, что формульный предикат Уп(х, у) (соответственно Ур(х, у)), где п = (то, Хъ ..., тг, Хг, Х,7), (соответственно, (7, Х, т?, Х?+1,..., Хй, т^)), ложен на модели М при х = а, у = Ъ (соответственно, х = Ъ, у = с). В этом случае для любых элементов а1, Ъ1, с1 € М, а1 < Ъ1 < с1 будет выполнено, если

М |= —Уп(аьЪ1),Ур(Ъьс1),

то М |= —Уд (а1, с1), что доказывает выполнимость основания индукции. Положим кортежи

5 = (ао,в 1,...,вг,аг,в°,а°); р = (а°,в°°, аг+1, вг+2,..., вп, ап);

вг+1 = (аl,... ,аД

где а° = Р, если Ъ простое, и а° = Р — в противном случае, кортежи в° = (а1,...,ак), в°° = (^1,...,^«),

такие, что

М |= —уСТ1 (а, Ъ),..., —уСТк (а, Ъ); М |= —у^1 (Ъ, с),..., — у^ (Ъ, с)

и для любых элементов д < Л < и> из выполнимости

М 1= —уСТ1 (д, Л,),..., —Уак (д,Л); М |= —у^1 (Л, ад),..., — у^ (Л,ад)

следует М |= —уСТ1 (д,ад),..., —у^3(Л,ад). Существование кортежей в°, в°° следует из второй формы индукционного предположения.

Пусть М |= уст(а, Ъ), Ур(Ъ, с). Тогда по условию леммы М |= Уг(а1, Ъ1), Ур(Ъ1, с1) и, следовательно, из вида кортежей 5 и р получаем М |= Ув(а1,с1), что доказывает рассматриваемый вариант индукционного предположения и вместе с ним данную лемму. □

При доказательстве модельной полноты нам также будет необходим следующий аналог леммы 4.

Лемма 5. Пусть модель М = (М; т) такая, что (М; <) — дискретное линейно упорядоченное множество и элементы а, Ъ, а1, Ъ1 € М, причем а < Ъ; а1 < Ъь Предположим, что для любых формульных предикатов у(х,у), ш(х) € П выполняется

М |= у(а, Ъ),ш(Ъ) ^ М |= у(а1, Ъ1), ад(Ъ).

Тогда для любого формульного предиката ш(х) € П выполняется М |= ш(а) ^ М |= ад(а1).

Доказательство. Пусть формульный предикат ш(х) соответствует кортежу 0 и формульный предикат Ув(х, у) связан с ш(х) тождеством (1.4). Если применить к лемме 4 принцип локальности (или внимательно просмотреть ее доказательство), то можно заметить, что для любого формульного предиката Ув(х, у) существуют предикаты

ущ (х,у),..., упк(х у); у^1 (х,у),..., у^(x, у)

такие, что для любых элементов а, Ъ, с, а1, Ъ1, с1 € М (а < Ъ < с; а1 < Ъ1 < с1) из выполнимости эквивалентностей

М |= ущ (а, Ъ) ^ М |= Ут (а1,Ъ1), М |= у^- (Ъ, с) ^ М |= у^- (Ъ1,с1),

где 1 < г < к; 1 < j < I следует выполнимость эквивалентности

М |= Ув(а,с) ^ М |= Ув(а1,с1). (1.6)

Рассмотрим совокупность формульных предикатов (х),..., (х),

связанных с предикатами у^1 (х, у),..., у^(х,у) тождеством (1.4). По условию леммы данные предикаты удовлетворяет эквивалентностям

М |= (Ъ) ^ М |= (Ъ).

Следовательно, существуют элементы ^1,..., ; ^,..., ^ такие, что

для всех г выполнены эквивалентности

М |= у^(Ъ, ^г) ^ М |= у^(Ъ,^1) ^ М |= (Ъ).

Положим с = шах(^1,..., ^г}; с1 = шах-^,..., ^}. Тогда выполнены эквивалентности

М |= у^ (Ъ, с) ^ М |= у^ (Ъ1,с1),

и, учитывая тождество (1.6), имеем М |= ш(а) ^ М |= ш(а1), что доказывает лемму. □

При доказательстве модельной полноты теории будем использовать следующий вариант критерия Робинсона [2].

Лемма А. Теория Г сигнатуры т модельно полна тогда и только тогда, когда для любого конечного объединения а сигнатуры т и любой конечной подмодели X = {а1,..., ап} произвольной Г-модели М', являющейся расширением Г -модели М, X ПМ = {а1,..., ак}, то существуют элементы ак+1,..., ап € М такие, что диаграмма подмодели X совпадает с диаграммой подмодели

{а1,... ,ак,ак+1,... ,ап}

в сигнатуре а при соответствии, задаваемом одинаковыми индексами элементов.

Лемма 6. Теория Г-сигнатуры т-модельно полна.

Доказательство. Будем использовать приведенный выше критерий Робинсона. Пусть а — некоторое конечное обеднение сигнатуры т и X = {а1,...,ап} — некоторая конечная подмодель произвольной Г-модели М', являющейся расширением Г-модели М, X П М = {а1,...,ак}. При построении подмодели {а1,..., ак, ак+1,..., ап}, удовлетворяющей условиям критерия Робинсона (лемма А), будем использовать леммы 4 и 5, позволяющие доказывать не совпадение диаграмм конечных подмоделей, а только их отдельных частей. А именно, оставить только часть диаграммы, где формульные предикаты связывают рядом стоящие (в смысле порядка) элементы конечной подмодели (не разделенные в смысле порядка другими элементами данной конечной подмодели). Данная возможность вытекает из содержательного смысла лемм 4 и 5, которые утвеждают по сути дела следующее: если между элементами а и с есть элемент Ъ, то истинность формульных предикатов на элементах а и с одназначно определяется истинностью формульных предикатов на а и Ъ, Ъ и с. Кроме того, используя методологию расширения конечной подмодели, можно оставить только негативную часть диаграммы (добавляя элементы, на которых истинны формульные предикаты).

Предположим, что элементы а1,...,ак имеют нумерацию, соответствующую порядку на модели М, а элементы а«,..., а«+т из расширения N модели М также имеют нумерацию, согласованную с порядком на модели N. Проведем доказательство только для случая расширения одним элементом а«, так как по этой же схеме можно действовать и в общем случае, опираясь на результаты лемм 4 и 5.

Пусть элемент а« лежит между а1 и а2, атомные формулы

ув (а1, а«), у7 (а1, а«), Ур(а«, а2), уч (а«, а2) (1.7)

ложны на модели N и входят в рассматриваемую диаграмму. Положим кортеж 0 = (а1, {в, 7},а«, {р,п},а2), где аг = Р, если аг — простой

элемент, и а = — Р — в противном случае. Так как а.ф. (1.7) ложны на модели N, то а.ф. V#(01,02) истинна на модели N. Тогда по определению расширения моделей а.ф. V# (01,02) истинна и на модели М, а это означает существование элемента о^ Є М такого, что а.ф. (1.7) ложны на модели М. Таким образом, элемент о8 “перекинут” в меньшую модель. Аналогично можно действовать, когда элементы о8,..., о8+* также лежат в интервале (01, 02). Если элементы о8,..., о8+* меньше (больше) элемента 01 (соответветственно, о&), то необходимо работать по данной схеме с формульными предикатами вида и>(ж). Лемма доказана. □

Лемма 7. Теория Г-сигнатуры т-универсально полна.

Доказательство. Доказательство будем вести перекидыванием конечной подмодели X = {01,..., оп} из произвольной Г-модели М в модель

; <, Р). Обратная задача очевидно выполнима по второй группе аксиом теории Г. Диаграмма подмодели X будет рассматриваться в сигнатуре а, являющейся некоторым конечным обеднением сигнатуры т. В силу стандартных соображений достаточно рассмотреть только негативную часть диаграммы. Дальнейшее упрощение можно получить, опираясь на результаты лемм 4 и 5, а именно, если элементы подмодели X = {о1,...,оп} расположены в порядке возрастания, то достаточно рассмотреть случай, когда формульные предикаты V# связывают только рядом стоящие элементы подмодели X, а формульные предикаты ^# (ж) — первый и последний элемент.

Проведем вначале доказательство для случая, когда диаграмма подмодели X имеет только формульные предикаты вида V#. Доказательство будем вести перекидыванием отрезков подмодели X = {01,..., оп} на основании леммы 3. Во избежание нудного “всеобщего случая” будем считать, что подмодель X = {о8,..., оп} состоит из двух отрезков 01, . . . , 0і и 0і+1, ..., оп. Перекинем эти отрезки в отрезки целых чисел ¿»1,..., Ьі и Ьі+1, ..., соответственно с сохранением всех условий леммы 3.

Пусть М |= —V#(0і,0і+1). Покажем, что 2 |= —V#(¿і, ¿¿+1). Доказательство будем вести индукцией по рангу предиката V#(ж,у). Рассмотрим основание индукции при в = (ао, въ ..., вй, ®й). Тогда из М |= —V#(оі,0і+1) имеем, что хотя бы одно а, где 0 < і < Л, является предикатом Р (напомним, что в интервале от оі до 0^+1 могут быть сколь угодно большие отрезки непростых элементов в силу пятой части системы аксиом Г), но в этом случае обязательно 2 |= —V#(¿¿, ¿¿+1), так как все числа в интервале от Ь до ¿¿+1 непростые. Основание индукции доказано.

Предположим по индукции, что для всех формульных предикатов ранга, меньшего к, рассматриваемое утверждение имеет место, а для

некоторого формульного предиката V#(ж, у) ранга к не выполняется. Тогда М |= —V#(0»,0г+1) и 2 |= V#(Ьі, Ьі+1 ), где в = («о,в1, . . . ,вй, «й) Є ^. В этом случае все «і являются отрицанием предиката Р (см. доказательство основания индукции).

Пусть предикат V#(¿¿, ¿¿+1) реализуется на числах С1,..., с^-ъ т.е.

«1(С1)& ... & «1(Сй-1)& в1(Ьі,С1)& ... & вй(Сй-1,Ьі+1).

Так как возрастающая последовательность чисел С1,...,с^-1 может быть изоморфно вложена в последовательность элементов ^1,..., ^-1, лежащую между элементами 0і и 0і+1, то это дает необходимое противоречие (при проверке реализуемости предиката V#(0і,0і+1) на элементах ^1,..., ^-1 некоторые трудности может представлять рассмотрение а.ф. в1 (оі, ¿¿),..., вй(^й-1, оі+1), но здесь надо воспользоваться индукционным предположением для предикатов въ ... ,вй, а также тем, что после (перед) элемента 0і (соответственно 0і+1) может быть сколь угодно большая последовательность непростых элементов). Индукционное предположение доказано.

Оставшийся случай с формульными предикатами ад#(ж), связывающими первый и последний элемент, легко доказывается от противного. Лемма доказана. □

Теорема 1. Элементарная теория натуральных чисел с порядком и предикатом, выделяющим простые числа, разрешима в предположении выполнимости РГБ.

В силу лемм 6 и 7 теория Г модельно и универсально полна, следовательно, в силу известного признака полноты [2] теория Г полна. В предположения РГБ система аксиом Г рекурсивна и, следовательно, теория Г разрешима.

Список литературы

1. Беляков Э. Б. Универсальные теории целых чисел и расширенная гипотеза близнецов / Э. Б. Беляков, В. И. Мартьянов // Алгебра и логика. — 1983. — № 1. — С. 26-34.

2. Робинсон А. Введение в теорию моделей и метаматематику алгебры. — М.: Наука, 1967. — 267с. Т. 20, N0 4. — С. 37-108.

3. Ершов Ю. Л. Элементарные теории / Ю. Л. Ершов, И. А. Лавров, А. Д. Тай-манов, М. А. Тайцлин // Успехи математических наук. — 1965. — Т. 20, N0 4. — С. 37-108.

4. Кокорин А. И. Вопросы разрешимости расширенных теорий / А. И. Кокорин, А. Г. Пинус // Успехи математических наук. — 1978. — Т. 33, N0 2. — С. 49-84.

V.I. Martyanov

An Extended Twin Hypothesis and the Theory of Natural Numbers with Distinguished Primary Numbers

Abstract. The decidability of the extended theory of natural numbers is proven with the supposition that a variant of the twin hypothesis holds.

Keywords: model theory, elementary theories decidability

Мартьянов Владимир Иванович, доктор физико-математических наук, профессор

Иркутский государственный технический университет 664047, Иркутск, ул. Лермонтова, 83 (ad@istu.edu)

Vladimir Martyanov, Irkutsk State Technical University, 83, Lermontov St., Irkutsk, 664047 (ad@istu.edu)