CC BY
22
Серия «Математика»
2010. Т. 3, № 4. С. 7-20
Онлайн-доступ к журналу: http://isu.ru/izvestia
УДК 510.53+510.67
Новый спектр вычислимых моделей *
А. Н. Гаврюшкин
Иркутский государственный университет
Аннотация. В работе доказано существование моделей эренфойхтовой теории, попарно друг в друга элементарно вкладываемых, одна из которых имеет вычислимое представление, а другая нет. Этот результат вместе с работой [6] является ключевым для описания спектров вычислимых моделей эренфойхтовых теорий.
Ключевые слова: эренфойхтова теория; вычислимая модель; разрешимая модель; простая модель; однородная модель.
Эта статья представляет собой обзор современного состояния исследований в области вычислимых моделей эренфойхтовых теорий. Также в ней представлены некоторые новые результаты. Начнём с необходимых определений, предварительных сведений и истории предмета.
В работе мы используем стандартные понятия и обозначения теории вычислимых моделей. В качестве классических мы отметим книги [1,
Сигнатуры всех моделей в этой работе предполагаются вычислимыми, а сами модели — счётными. Когда мы говорим о вычислительных (алгоритмических) свойствах некоторых множеств формул, мы идентифицируем формулы с их гёделевскими номерами. Исторически сложилось называть вычислимые теории разрешимыми. Модель А называется вычислимой, если её носитель является подмножеством и (множества натуральных чисел), и её атомная диаграмма, обозначаемая через ^(А), вычислима. Это эквивалентно тому, что носитель модели А — это вычислимое множество, а её отношения и функции равномерно вычислимы. Модель А (чей носитель — подмножество множества и) разрешима,
* Работа выполнена при частичной финансовой поддержке Федеральной целевой программы «Научные и научно-педагогические кадры инновационной России» на 2009-2013 гг., государственный контракт N0 П1227.
1. Введение
2, 17].
если её полная диаграмма, обозначаемая через Dc(A), вычислима. Модель B называется представлением модели A, если B изоморфна A, обозначается это через B = A. Обычно мы будем использовать слово «вычислима» вместо «имеет вычислимое представление» и «разрешима» вместо «имеет разрешимое представление», но из контекста всегда будет ясно, что именно имеется в виду.
Обозначим через S(T) множество всех типов (над ), совместных с теорией T. Полная теория T счётного языка называется малой, если множество S(T) не более чем счётно. Обозначим через w(T) число счётных моделей теории T с точностью до изоморфизма. Полная теория T называется эренфойхтовой, если 1 < w(T) < w. Класс эренфойхтовых теорий является одним из самых загадочных подклассов класса малых теорий. Имеется большое количество вопросов, стоящих уже очень давно и до сих пор остающихся без ответа. Эти вопросы относятся как к теории моделей, так и к теории вычислимости. В этой работе мы постараемся упомянуть наиболее важные среди них.
История началась в Итаке. А. Нероуд, вдохновлённый результатом Л. Харрингтона [10], который доказал, что если разрешимая теория ^1-категорична, то все её счётные модели разрешимы, поставил следующий вопрос. Будут ли все счётные модели разрешимой эренфойхтовой теории разрешимы? М. Морли и А. Лахлан [15] ответили на этот вопрос приведя пример теории с шестью моделями, среди которых только простая была разрешимой. Позднее М. Перетятькин [16] нашёл для всех п ^ 3 примеры теорий, имеющих в точности п моделей, из которых только простая разрешима. По теореме Р. Вота (см. [2]), никакая полная теория не может иметь в точности две счётные модели. Чтобы получить все эти результаты, авторы строили разрешимые эренфойхтовы теории с невычислимым неглавным типом и пользовались эффективной версией теоремы об опускании типов. Именно это послужило причиной для Морли переформулировать вопрос Нероуда следующим образом.
Проблема 1 (М. Морли [15], 1976). Предположим, T имеет в точности п < w счётных моделей, и каждый тип, совместный с T, вычислим.
1. Будет ли любая счётная модель теории T разрешимой?
2. Если нет, каково наименьшее п, доставляющее контрпример?
Сам Морли решил эту проблему положительно для п = 3. Для п ^ 4 проблема по-прежнему открыта. Исследования разрешимых моделей эренфойхтовых теорий тесно связаны с изучением разрешимости простых и насыщенных моделей в частности и однородных моделей вообще.
Харрингтон [10] обнаружил критерий разрешимости простых моделей. Пусть T имеет простую модель. Необходимым и достаточным
условием того, чтобы эта модель была разрешимой, является существование вычислимого списка главных типов. Одним из следствий эффективной версии теоремы об опускании типов является следующее. Если простая модель разрешимой теории не разрешима, то эта теория имеет бесконечно много неизоморфных разрешимых моделей. (Действительно, в этом случае всякая разрешимая модели теории реализует некоторый неглавный тип, который в сою очередь может быть опущен в другой разрешимой модели этой теории.) Таким образом, простые модели разрешимой эренфойхтовой теории разрешимы. Морли доказал критерий разрешимости для насыщенных моделей. Необходимым и достаточным условием является существование вычислимого списка всех типов. Отсюда он заметил, что ответ на второй вопрос его Проблемы 1 не может быть три. Другой вопрос, который Морли поставил в той же работе, был: Может ли результат о простых и насыщенных моделях быть расширен на однородные модели? С. С. Гончаров [8] и Т. Миллар [14] независимо построили контрпримеры. Кроме того, они нашли необходимые и достаточные условия разрешимости однородных моделей. Эти условия требует выполнения дополнительных свойств вычислимости расширений типов. Но из теоремы Вота следует, что любая эренфойхтова теория имеет неоднородную модель. Однако все известные модели эренфойхтовых теорий однородны над кортежами из своих элементов, назовём такие модели почти однородными. Более точно, модель A почти однородна, если существует набор элементов а из A, такой что обогащение A этими элементами (A, с) является однородной моделью (здесь мы интерпретируем константы с элементами а). Это побудило Гончарова сформулировать
Проблема 2. Пусть почти однородная модель A имеет эренфойхтову теорию и реализует только вычислимые типы. Будет ли A разрешимой?
Эта проблема до сих пор открыта. Возможно, она эквивалентна Проблеме 1. «Возможно» — потому что следующий теоретикомодельный вопрос, заданный тоже Гончаровым, остаётся открытым.
Проблема 3. Пусть модель A имеет эренфойхтову теорию. Является ли A почти однородной?
Мы собираемся взглянуть на эти проблемы с современной точки зрения.
2. Сведения из теории моделей
В этом разделе мы коснёмся результатов о типах изоморфизма счётных моделей эренфойхтовых теорий.
Тип р теории Т называется властным (в теории Т), если всякая модель А теории Т, реализующая р, также реализует каждый тип из £(Т). Если полная теория не имеет властного типа, то она имеет бесконечно много моделей. Действительно, возьмём тип Ро, поскольку он не властный, существуют тип рі и модель Ао, которая реализует ро и опускает Рі, поскольку Ро, Рі не властные, опять существуют тип Р2 и модель А1, которая реализует р0, р1 и опускает р2, поскольку р0, р1, Р2 не властные, ... Таким образом, любая эренфойхтова теория имеет властный тип.
Модель А называется простой над типом р, если существует набор элементов а в А, такой что а — это реализация р в А, то есть А |= р(а), и модель (А, а) проста. Модель М І8 почти проста, если она проста над реализацией некоторого типа. Как мы увидим позже, почти простые модели образуют, в некотором смысле, базис в классе эренфойхтовых моделей (то есть моделей, теория которых эренфойхтова).
Если р — тип, и модели А и В просты над р, то А = В. Поэтому обозначим через Ар некоторую модель, которая проста над р. Обозначим через КК(Т) множество всех попарно неизоморфных моделей Ар по всем р Є £(Т). Это множество предупорядочено отношением ^, определённым следующим образом. Ар ^ Ад, тогда и только тогда, когда Ад = р. Эквивалентно, существует элементарная подмодель В модели Ад, обозначается В ^ Ад, такая что Ар = В. Мы также скажем, что тип р подчиняется типу д, если Ар ^ Ад, обозначается р ^ д.
Пусть Т — эренфойхтова теория. Заметим, что КК(Т) имеет наименьший элемент. Действительно, если р — главный тип, то для всех д Є Б(Т) мы имеем Ад = р. Конечно, в этом случае Ар — это простая модель теории Т, и поэтому наименьший элемент в КК(Т) единственен. Также КК(Т) имеет наибольший элемент. Чтобы показать это, возьмём властный тип р, тогда Ар = д для всех д Є £(Т). Как мы позже увидим, наибольший элемент не обязан быть единственным. Так, мы имеем конечное множество ^-эквивалентных наибольших элементов.
Конечно, не каждая модель эренфойхтовой теории почти проста. Например, если А — насыщенная модель, то она не почти проста.
Лемма 1 (Судоплатов [18]). Пусть теория Т эренфойхтова, и А — модель теории Т. Тогда существует тип р Є Б(Т) и элементарная цепь изоморфных моделей А0 ^ ... ^ Ап ■< ..., каждая из которых проста над р, такие что А = и Ап.
п
Благодаря этой лемме, если модель не почти проста, назовём её предельной моделью. Если предельная модель А такая, как в последнем
предложении Леммы 1, назовём её предельной над типом p. Как мы увидим, существуют неизоморфные модели, предельные над одним и тем же типом.
Лемма 2 (Судоплатов [18]). Пусть Ap и Aq неизоморфные эквивалентные (то есть Ap ^ Aq and Aq ^ Ap) почти простые модели. Тогда существует модель, предельная над типом p и предельная над типом q.
Доказательство. Для каждого n € и определим по индукции модель An следующим образом. Модель A0 — это Ap. Предположим, что модели A0 ^ A1 ^ ... ^ An уже определены и удовлетворяют следующему свойству. Если k € {0,... ,n} чётное число, то A& = Ap, а если k нечётное, то Ak = Aq.
Случай 1. n чётное. Поскольку Ap ^ Aq и An = Ap, существует модель B = Aq, такая что An ^ B. Положим An+1 = B.
Случай 2. n нечётное. Необходимо p и q в Случае 1 поменять местами. Рассмотрим модель A = |J An. Эта модель предельна. Действитель-
П
но, если она почти проста, то она должна быть изоморфна и Ap, и Aq, а это невозможно. □
Определим функцию In : RK(T) ^ и следующим образом. 1n(Ap)
— это число попарно неизоморфных моделей, каждая из которых предельна над некоторым типом q, таким что q и p ^-эквивалентны (то есть q ^ p ^ q). Поскольку объединение элементарной цепи простых моделей некоторой теории — это снова простая модель этой теории, то 1n(Ap) = 0, когда тип p главный.
Таким образом, если у нас есть конечное предупорядоченное множество (X, ^) и функция f : X ^ и, и мы хотим построить эрен-фойхтову теорию T, такую что существует изоморфизм р : (X, ^) ^ (RK(T), ^), сохраняющий f, то есть f (x) = 1n(p(x)), то X и f должны удовлетворять следующим свойствам.
1. Существует единственный наименьший элемент ао;
2. Существует наибольший элемент zo = ао;
3. f (ao) = 0;
4. f (zo) > 0;
5. Если x ^ y ^ x и x = y, то f (x) > 0.
Назовём пару (X, f), удовлетворяющую этим свойствам, E-параметрами. В этом случае, множество X назовём E-порядком, а функцию f E-функцией. Если T эренфойхтова теория, назовём пару (RK(T),ln) E-параметрами теории T.
Мы закончим этот раздел теоремой, которая доказана в [7], утверждающей, что у каждой эренфойхтовой теории имеется много однородных моделей.
Теорема 4. Пусть Т эренфойхтова теория и р тип, совместный с Т. Если Ар1,...,АРк — это все элементы КК(Т), которые ^-эквивалентны Ар, а N1,..., — это все модели, каждая из которых
предельна над некоторым типом из р1,... ,р&. Тогда существует единственная однородная модель среди моделей Ар1,..., АРк, N1,..., Nm.
Заметим, что если модели АР1,..., АРк, N1,..., такие, как в Теореме 4, и т ^ 1, то однородная модель должна быть среди N1,..., ЭДга, то есть она является предельной моделью. Действительно, если у нас есть элементарная цепь изоморфных однородных моделей, то её объединение снова однородная модель и, значит, изоморфна моделям цепи. Но как мы знаем, если над типом р нет предельных моделей, то в классе эквивалентности почти простых моделей, содержащем Ар, должна быть только одна с точность до изоморфизма модель. Таким образом, справедливо
Следствие 1. Почти простая модель Ар однородна, тогда и только тогда, когда не существует предельных над типом р моделей.
Как мы увидим, Теорема 4 имеет много полезных следствий.
3. Разрешимые модели
Этот раздел посвящён следующей общей проблеме: Описать разрешимые модели эренфойхтовых теорий. Более точно, пусть нам дана эрен-фойхтова теория Т. Какие модели теории Т имеют разрешимые представления? Это основная проблема.
Сначала отметим, что разрешимые модели замкнуты вниз в КК(Т).
Предложение 1. Если Ар ^ Ад и Ад разрешима, то Ар разрешима. В частности, если Ар ^ Ад ^ Ар и Ад разрешима, то Ар разрешима.
Предложение 2. Если А разрешимая модель предельная над р, то Ар разрешима.
Морли и Лахлан [15] первыми показали, что разрешимые модели не замкнуты вверх в КК (Т). Следующая теорема, доказанная в [5], показывает, в частности, что любой конечный линейный порядок может быть реализован как КК (Т) для некоторой наследственно разрешимой (то есть все типы которой вычислимы) эренфойхтовой теории Т.
Теорема 5. Пусть п ^ 1 и 0 ^ к ^ п — некоторые натуральные числа, Ьп = {х0 ^ ... ^ хп} — линейный порядок, состоящий из п + 1 элемента. Тогда существует эренфойхтова теория Тпд., такая что
1. КК(Тпй) = {А0 ^ ^ Ап} — Ьп;
2. Модели Ao,..., Afc разрешимы, модели Afc+1,..., An не имеют даже вычислимых представлений.
А что касается предельных моделей? Предельные модели представляют большую сложность. Практически любое утверждение о разрешимости предельных моделей либо тривиально, либо эквивалентно Проблеме Морли. Действительно, если у нас есть разрешимая насыщенная модель (которая, конечно, предельна), тогда все типы теории разрешимы, тогда все почти простые модели разрешимы, тогда практически всё, что можно спросить о разрешимости оставшихся моделей зависит от Проблемы І. Так, можно сформулировать большое количество открытых проблем. Мы остановимся на двух из них.
Вопрос б. Пусть p — разрешимый тип эренфойхтовой теории T, и существует модель A, которая предельна над p. Тогда существует ли разрешимая модель, которая предельна над p ?
Вопрос Т. Пусть p — разрешимый тип эренфойхтовой теории T, и существует разрешимая модель A, которая предельна над p. Будут ли тогда все предельные над p модели разрешимы ?
Вопрос б был задан Гончаровым на конференции Logic Colloquium 20І0. Гаврюшкин [Т] получил положительный ответ на этот вопрос как следствие Теоремы 4.
Таким образом, Вопрос Т действительно эквивалентен Проблеме Мор-
ли.
Другое следствие Теоремы 4 решает Проблему Морли положительно для большого класса эренфойхтовых теорий. Более точно,
Следствие 2. Пусть T эренфойхтова теория и всякий тип, совместный с T, вычислим. Пусть также если p — это тип, совместный с T, то существует не более одной предельной над p модели. Тогда все счётные модели теории T разрешимы.
4. Вычислимые модели
В этом разделе мы будем рассматривать вычислимые представления вместо разрешимых.
Начнём со следующего вопроса. Если модель А имеет вычислимое представление, то какова сложность её теории ТЛ,(А)? Верхняя граница достигается, если рассмотреть стандартную модель арифметики (ш; ^ , +, х,5, 0). А что с эренфойхтовыми теориями? На сколько сложной может быть эренфойхтова теория, имеющая вычислимую модель? В [3] доказано, что она может быть произвольной арифметической сложности (то есть эквивалентной по Тьюрингу 0(п)). Недавно Б. Хусаинов
и А. Монталбан [12] построили ^-категоричную теорию, имеющую вычислимую модель и при этом 1-эквивалентную ТЛ,(ш; ^, +, х, 5, 0). Этот пример может быть реконструирован в эренфойхтову теорию:
Теорема 8. Для каждого п ^ 3 существует полная теория Т, имеющая в точности п счётных моделей, такая что Т имеет вычислимую модель и при этом эквивалентна по Тьюрингу арифметике.
Какие модели эренфойхтовой теории имеют вычислимые представления? Оставшаяся часть работы посвящена размышлениям над этим вопросом.
Хусаинов, Нис и Шор [13] были первыми, кто показал, что вычислимые модели некоторой эренфойхтовой теории Т не замкнуты вниз относительно ^ в КК(Т). Более точно, они построили эренфойхто-ву теорию (имеющую три модели), единственная вычислимая модель которой — насыщенная. Гаврюшкин [4], [6] показал, что вычислимые модели не обязаны образовывать интервалы в КК(Т).
Более того, в работе [6] имеется пример эренфойхтовой теории, имеющей 6 моделей, такой что
1. КК(Т) = {А0 ^ А1 ^ А2};
2. 1п(А0) = 1п(А1) = 0, 1п(А2) = 3, то есть существуют 3 неизоморфные предельные модели над властным типом;
3. Среди моделей теории Т только А0 и 2 из предельных моделей обладают вычислимыми представлениями.
Таким образом, мы имеем две предельные над одним и тем же типом модели, одна из которых вычислима, а другая — нет. Заметим, что эти модели предельны над властным типом. А как мы упоминали ранее, такой результат для разрешимых моделей влечёт отрицательное решение Проблемы Морли.
Как мы помним, разрешимость одной из ^-эквивалентных почти простых моделей влечёт разрешимость остальных. Для вычислимых моделей это не так:
Теорема 9. Пусть п и т — натуральные числа, такие что 1 ^ т ^ п. Существует эренфойхтова теория Т, такая что
1. Т имеет в точности п + 2 неизоморфных счётных моделей;
2. Т имеет п неизоморфных почти простых моделей А1,..., Ап, которые ^-эквивалентны;
3. Модели А1,..., Ат не вычислимы, модели Ат+1,..., Ап вычислимы.
Доказательство. Доказательство основывается на двух идеях: существование Д2 -множества, не являющегося областью значений никакой предельно монотонной функции (примеры таких множеств независимо построены Н. Г. Хисамиевым [11] и Хусаиновым, Нисов, Шором [13]); и кодирование таких множеств в эренфойхтовы теоии.
Для каждого набора кардиналов &!,..., € {2, 3,..., ш} определим
модель ф(&1,..., Ап) следующим образом.
Пусть Q множество рациональных чисел. И пусть Q = 0>1 и ... и
— плотное разбиение, то есть если 1 ^ г < j ^ п, то П Qj = и для любой пары рациональных чисел х < у существует г € 0>г, лежащий между ними. Носитель модели ф(&1, ..., Ап) — это А и В, где
А = {д € <0 | 1 < д < 2},
П
В = и {%!,..., а^* | д € А П <%}
г=1
множество новых элементов. Сигнатура модели — (^; /1,..., /п), где ^
— это бинарное отношение, а /1,..., /п — унарные функции. Положим Аг = А П 0>г для 1 ^ г ^ п. Отношение ^ и функции /1,..., /п определяются следующим образом. Для всех х и у мы имеем х ^ у, тогда и только тогда, когда х, у € А и х меньше либо равен у как рациональные числа. Положим г € {1,..., п} и х € А и В, определим /г(х) следующим образом. Если х € А, то /г(х) = х. Если х = а9)* для некоторого д € Аг и некоторого £, то /г(х) = д. Если х = а9)* для некоторого д € Aj•, такого что j = г, и некоторого £ < А,-, то /(х) = а^+ь и /(а^.) = адд.
Обозначим через 5(ш) модель 5(ш,..., ш), и пусть ^1(ш) будет моделью, получаемой из 5(ш) удалением элементов 1, а1;1,..., а1;Ш из носителя модели ф(ш).
Если А и В — это изоморфные копии моделей ф(&1,..., Ап) и <5(^1,..., £га), соответственно, и А П В =, то можно естественным образом определить тип изоморфизма модели ф(&1,..., Ап) + 5(^ь ..., £га) следующим образом. Носитель новой модели — это множество А и В. Отношение ^ в новой модели — это наименьшее частичное упорядочение, содержащее частичный порядок модели А, частичный порядок модели В и отношение {(х, у) | х € А & /А(х) = х & у € В & /В(у) = у}. Для 1 ^ г ^ п унарная функция /г в новой модели — это объединение унарных функций /А и /В.
Если ,..., АП, j < ш — наборы натуральных чисел, каждое из которых больше либо равно 2, то как и выше мы можем определить модель
£(*?,...,*£)+ £(*} ,...,0 + ... + 5(М ,...,*£) + ...
Для некоторых функций : ш ^ {2, 3,..., ш}, 1 ^ г ^ п, таких что область значений каждой из них бесконечна, рассмотрим модель
Ао = 5(#1(0),#2(0),.. .,5п(0)) + 5(^1(1),52(1),... ,5п(1)) + ...
И рассмотрим теорию То модели Ао.
Докажем, что Т0 имеет в точности п + 2 модели.
А0 простая модель Т0. Вторая модель теории Т0 — это М = А0 + ^1(ш). Это насыщенная модель. И у нас есть п почти простых моделей Аг = А0 + ^(ш), где элемент 1 из ^(ш) имеет бесконечно много /г-прообразов, 1 ^ і ^ п. Каждая из этих моделей почти проста над некоторым властным типом.
Чтобы видеть, что эти модели действительно являются моделями теории Т0, докажем, что А0 — элементарная подмодель каждой из этих моделей. Очевидно, она подмодель. Чтобы доказать, что она элементарная подмодель, выберем некоторый набор элементов а из А0, некоторую формулу вида Зжр(а, ж) и некоторую модель В Є {А1,..., Ап, М}. Можно проверить, что если формула Зжр(а, ж) истинна на В, то существует элемент Ь из А0, такой что р(а, Ь) истина на А0, значит, подмодель элементарна.
Нам необходимо доказать, что любая счётная модель теории Т0 изоморфна одной из п + 2 моделей, описанных выше. Пусть А — это модель теории Т0. Определим по индукции последовательность элементов а0,а1,... Положим й0 — минимальный элемент относительно частичного порядка в А, такой что он не единственный элемент, сравнимый с зд. Заметим, что множество и {Ь | Ь = а0 & /г(Ь) = 00} имеет в точности
1^г^п
$г(0) элементов для некоторого і Є {1,..., п}. Положим &0 = 0 для всех і Є {1,..., п}.
Предположим, что элементы а0,..., а*_1 и числа к0,..., к^-1 (1 ^ і ^ п) уже определены. Для і Є {1,..., п} положим к — наименьшее число, такое что дг(к£) = ^(к)) для ] = 0,... , і — 1. Элемент а* определяется таким, что выполнены следующие свойства:
1. Множество и {Ь | Ь = а0 & /г(Ь) = а0} имеет в точности ^г(к*)
1^г^п
элементов для некотрого і Є {1, . . . , п};
2. Для каждого ж < а* мощность множества и {Ь | Ь = ж & /г(Ь) = ж}
1^г^п
лежит в и {£г(&0), . . . ,£г(к*_1)}.
1^г^п
Рассмотрим последовательность а0, а1,... Очевидно, а0 < а1 < ... Так, мы имеем п + 2 случая:
Случай 0. ііш а* не существует, и для любого ж Є А, такого что Д(ж) = ж найдётся і, такое что а* ^ ж;
Случай і (1 ^ і ^ п). ііш а* существует, и если а = ііш а*, то а имеет бесконечно много /г-прообразов;
Случай п + 1. ііш а* не существует, и найдётся такой ж Є А, что Д(ж) = ж и ж ^ а* для всех а*.
В первых п случаях мы имеем А = Аг, в последнем случае А = М.
Докажем, что модели А1,..., Ап ^-эквивалентные почти простые модели.
Для 1 ^ г ^ п рассмотрим тип рг(ж), порождённый множеством формул |р5(ж) | в € ш}, где р5(ж) говорит, что ж имеет как минимум в /г-прообразов. Заметим, что типы Р1(ж),... ,рп(ж) — неглавные властные типы. Рассмотрим модель (Аг,а), где а = Нш а*. Несложно видеть, что
эта модель простая. А поскольку (Аг,а) = рг(а), модель Аг проста над Рг.
Чтобы доказать что модели А],...,Ап ^-эквивалентны, мы заметим, что для всех пар чисел 1 ^ г,^ п мы имеем (Аг,а) = р(Ь), где опять а = Нш а*, а Ь — некоторый элемент, который имеет бесконечно
много /-прообразов.
Пусть В — некоторая модель теории То. Для 1 ^ г ^ п рассмотрим ограничение Вг модели В на множество {ж | /г(ж) = ж V /г(/г(ж)) = /г(ж)}. Сигнатурой модели Вг является (^,/г). Очевидно, если модель В вычислима, то такова и Вг.
Теория То очень полезна для построения различных примеров и контр-примеров эренфойхтовых теорий. Во-первых, по причине того, что она имеет любое заданное число моделей, во-вторых, из-за свойства, упомянутого в предыдущем обзаце — варьируя вычислительные свойства функций можно получать различные вычислительные свойства моделей этой теории. В-третьих, она имеет конечную сигнатуру, а это важно, например, для теории автоматных моделей.
Мы воспользуемся теорией То для построения теории Т, существование которой утверждается в доказываемой теореме. Положим $г(ж) = ж + 2 для всех г € {1,..., п}. Сигнатура теории Т получается из сигнатуры теории Т0 добавлением для каждого ] € {1,..., т} бинарного отношения ^ и трёх унарных функций Л.0, Л], Л2.
Напомним, что в этом случае модель Ао имеет вид
ф(2, 2, ..., 2) + ф(3, 3, ..., 3) + ...
п раз п раз
Для каждого ] € {1,...,т} проведём следующее обогащение модели Ао:
На множестве {ж | / (ж) определено и /(ж) = ж} определим структуру модели В ^ ^(по) + ^(п1) + ..., в качестве предпорядка которой выступает ^, а в качестве одноместной функции выступает Л,о. Числа по, п1, . . . выбираются так, чтобы множество {по, п1, . . .} было Д2-множеством, не являющимся областью значений никакой предельно монотонной функции. Проинтерпретируем функции Л] и Л2. Функция Л] действует из множества {ж | /(ж) = ж} в множество {у | Л-(у) = у} следующим образом. Для всех натуральных чисел ^ Л] — это изоморфизм множеств ^(£ + 2,...,£ + 2) П {ж | /(ж) = ж} и ф(п*) +
Ф(п*+1) + .. .П{у | Ло(у) = у} как порядков относительно ^ и ^ соответственно. (Поскольку указанные множества образуют плотные линейные порядки с наименьшим элементом, то такой изоморфизм существует и единственный.) Функция действует из множества {у | Ло(у) = у} в множество {ж | / (ж) = ж} следующим образом. Для всех натуральных чисел ^ — это изоморфизм множеств ф(п*) П {у | Л,о(у) = у} и
^(£ + 2,..., £ + 2) + ^(£ + 3,..., £ + 3) + ... П {ж | /(ж) = ж} как порядков относительно ^ и ^ соответственно.
Обозначим получившуюся модель через Во. А теорию этой модели ТЛ(Во) — через Т. Это и есть требуемая теория.
Хусаинов, Нис и Шор [13] доказали, что теория Т1 ^ ТЛ(В) имеет в точности три счётные модели, среди которых только насыщенная вычислима. Несложно видеть, что ш(Т) ^ ш(То) х ш(Т), поэтому Т эренфойхтова. Далее заметим, что если М |= Т, то в части модели М, определяемой множествами {ж | /*(ж) = ж}, 1 ^ ^ п, реализуется
в точности один из Случаев 0, ... , п+1, описанных выше. Точно так же, если взять ] € {1,...,т}, то в части модели М, определяемой множеством {ж | Ло(ж) = ж}, реализуется в точности один из трёх аналогичных случаев.
Зафиксируем ] € {1,..., т}. Покажем, что в части модели М, определяемой множествами {ж | /*(ж) = ж}, 1 ^ ^ п, реализуется Слу-
чай то есть существует предел а^, имеющий бесконечно много /-прообразов, тогда и только тогда, когда в части модели М, определяемой множеством {ж I ло(ж) = ж}, существует предел Ь,-. Действительно, если имеется предел Ь,, но нет предела а^, то должен существовать элемент а, имеющий бесконечно много /-прообразов, такой что Л1(а) = Ь,, кроме того, должен существовать элемент а' < а, который тоже имеет бесконечно много /-прообразов, а значит, должно выполняться Л1(а') = Ь^-, что невозможно. Случай, когда есть предел а^, но нет предела Ь,- рассматривается аналогично, только вместо нужно взять
л2.
Таким образом мы имеем, что тип изоморфизма модели М однозначно определяется типом изоморфизма её части, определяемой множествами {ж | /*(ж) = ж}, 1 ^ ^ п. А значит, теория Т имеет п + 2
счётные модели.
Несложно видеть, что для вычислимости модели М теории Т необходима и достаточна вычислимость модели, определяемой ограничением М на множества {ж | /*(ж) = ж}, 1 ^ ^ п, и моделей, определяемых
ограничением М на множества {ж | Л-(ж) = ж}, 1 ^ ^ п. Первая
несомненно вычислима. Последние, как уже отмечалось, вычислимы тогда и только тогда, когда существует элемент, имеющий бесконечно много Ло-прообразов, но не существует наименьшего среди таких эле-
ментов. Таким образом, вычислимыми будут модели, соответствующие Случаям т+1, ... , п, а также насыщенная модель. □
Список литературы
1. AshC. Computable structures and the hyperarithmetical hierarchy / C. Ash, J. Knight. - Elsevier, 2000. - 270 p.
2. Chang C. C. Model Theory / C. C. Chang, H. J. Keisler. - North Holland, 1990. -350 p.
3. Gavryushkin A. Complexity of Ehrenfeucht models / A. Gavryushkin // Algebra and Logic. - 2006. - V. 45, No. 5. - P.289-295.
4. Gavryushkin A. Spectra of computable models for Ehrenfeucht theories / A. Gavryushkin // Algebra and Logic. - 2007. - V. 46, No. 3. - P. 149-157.
5. Gavryushkin A. On constructive models of theories with linear Rudin-Keisler ordering / A. Gavryushkin // Journal of Logic and Computation. - doi: 10.1093/logcom/exq043. - 2010.
6. Gavryushkin A. Computable limit models / A. Gavryushkin // Изв. Иркут. гос. ун-та. Сер.: Математика. - 2009. - Т. 2, №. 2. - С. 56-61.
7. Gavryushkin A. Computable models of Ehrenfeucht theories / A. Gavryushkin // submitted.
8. Goncharov S. S. Strong constructivizability of homogeneous models / S. S. Goncharov // Algebra and Logic. - 1973. - V.17, No.4. - P. 247-263.
9. Goncharov S. S. A totally transcendental decidable theory without constructivizable homogeneous models / S. S. Goncharov // Algebra and Logic- 1980. - V. 19, No. 2. - P. 85-93.
10. Harrington L. Recursively presented prime models / L. Harrington // Journal of Symbolic Logic. - 1974. - V. 39, No. 2. - P. 305-309.
11. Khisamiev N. G. Criterion for Constructivizability of a Direct Sum of Cyclic p-groups / N. G. Khisamiev // Izvestiya Akademii Nauk Kazakhskoi SSR. Seriya Fiziko-Matematicheskaya. - 1981. - V. 86, No. 1. - P. 51-55.
12. Khoussainov B. A computable ^-categorical structure whose theory computes true arithmetic / B. Khoussainov, A. Montalban// Journal of Symbolic Logic. - 2010.
- V. 75, No. 2. - P. 728-740.
13. Khoussainov B. Computable Models of Theories with Few Models / B. Khoussainov, A. Nies, R. Shore// Notre Dame Journal of Formal Logic. - 1997. -V. 38, No. 2.- P. 165-178.
14. Millar, T. Homogeneous models and decidability / T. Millar // Pacific Journal of Mathematics. - 1980. - V. 91.- No. 2.
15. Morley M. Decidable Models / M. Morley // Israel Journal of Mathematics.- 1976.
- No. 25. - P. 233-240.
16. Peretyat’kinM. G. On complete theories with a finite number of denumerable models / M. G. Peretyat’kin // Algebra and Logic. - 1973. - V.12, No.5. - P. 310-326.
17. SoareR. I. Recursively Enumerable Sets and Degrees. A Study of Computable Functions and Computably Generated Sets / R. I. Soare. - Springer Verlag : Berlin-New York, 1987.
18. Sudoplatov S. V. Complete theories with finitely many countable models / S. V. Sudoplatov// Algebra and Logic. - 2004. - V. 43, No. 1. - P. 62-69.
A. Gavryushkin
A new spectrum of computable models
Abstract. In the paper we prove that there exist models A and B of an Ehrenfeucht theory such that A is elementary embeddable into B, B is elementary embeddable into A, model A has a computable presentation, model B has no computable presentation. This theorem together with the work [6] is the key result for the theorem describing computable models spectra of Ehrenfeucht theories.
Keywords: Ehrenfeucht theory; computable model; decidable model; prime model; homogeneous model.
Гаврюшкин Александр Николаевич, кандидат физико-математических наук, Институт математики, экономики и информатики, Иркутский государственный университет, 664000, Иркутск, ул. К. Маркса, 1, тел.: (3952)955256 (gavryushkin@gmail.com)
Alexander Gavryushkin, Irkutsk State University, 1 K. Marks St., Irkutsk 664003. Phone: (3952)955256 (gavryushkin@gmail.com)
