CC BY
11
Серия «Математика» 2013. Т. 6, № 2. С. 48—56
Онлайн-доступ к журналу: http://isu.ru/izvestia
УДК 510.67
Операторы порождения
предпорядков Рудин — Кейслера
в классе теорий с континуальным числом типов *
Р. А. Попков
Новосибирский государственный технический университет С. В. Судоплатов
Институт математики им. С. Л. Соболева СО РАН, Новосибирский государственный технический университет, Новосибирский государственный университет
Аннотация. Строятся операторы на классе счётных полных теорий с континуальным числом типов, порождающие предпорядки Рудин - Кейслера со всевозможными счётными ограничениями.
Ключевые слова: теория с континуальным числом типов; предпорядок Рудин -Кейслера; оператор порождения.
В книге [1] приведена классификация счётных моделей малых теорий относительно предпорядков Рудин - Кейслера и функций распределения числа предельных моделей. В работе [2] эта классификация обобщена для класса счётных полных теорий с континуальным числом типов. Предпорядки Рудин - Кейслера на множестве типов изоморфизма простых над кортежами моделей теорий Т, образующие системы ИК(Т) и играющие ключевую роль в классификации, переносятся на предпорядки Рудин - Кейслера на типах из 5(Т) и образуют системы ИКТ(Т). Системы ИКТ(Т) для класса малых теорий изучены в работе
В настоящей работе исследуется возможность порождения систем ИКТ(Т) для класса теорий с континуальным числом типов: определяются операторы, способные порождать теории со всевозможными счётными ограничениями систем вида ИКТ(Т).
[3].
* Работа выполнена при финансовой поддержке Российского фонда фундаментальных исследований, проект 12-01-00460-а.
Ниже всюду рассматриваются счётные полные теории Т с условием |Б(Т)| = 2Ш. Класс всех таких теорий обозначается через Тс.
Напомним основные определения.
Пусть р = р(х) и д = д(у) — типы из Б(Т). Следуя [1], будем говорить, что тип р подчиняется типу д, или р не превосходит д по предпоряд-ку Рудин - Кейслера и писать р <кк д, если любая модель М = Т, реализующая тип д, реализует и тип р.
Если р <як д и существуют простые модели Мр и Мд над реализациями типов р и д соответственно, то будем также говорить, что модель М.р подчиняется модели Мд, или Мр не превосходит модели Мд по предпорядку Рудин - Кейслера и писать Мр <як Мд.
Если существуют модели Мр и Мд, то условие Мр <як Мд означает, что Мд = р, т. е. некоторая копия М'р модели Мр является элементарной подсистемой модели Мд: М.'р ■< Мд.
Типы р и д называются взаимоподчиняемыми, взаимореализуемы-ми, эквивалентными по Рудин - Кейслеру или КК-эквивалентными (обозначается р д), если р <як д и д <як р. Если р д и
существуют модели Мр и Мд, то Мр и Мд также называются взаимоподчиняемыми , эквивалентными по Рудин - Кейслеру или КК-эквивалентными (обозначается Мр Мд).
Следуя [4], типы р и д называются сильно взаимоподчиняемыми, сильно взаимореализуемыми, сильно эквивалентными по Рудин - Кейслеру или сильно КК-эквивалентными (обозначается р =як д), если для некоторых реализаций а и Ь типов р и д соответственно типы tp(Ь/a) и tp(a/b) являются главными. При этом, если модели Мр и Мд существуют, они также называются сильно взаимоподчиняемыми , сильно эквивалентными по Рудин - Кейслеру или сильно КК-эквивалентными (обозначается Мр =як Мд).
Очевидно, что отношения подчинения суть предпорядки, а отношения (сильной) взаимоподчиняемости являются отношениями эквивалентности. При этом из р =як д следует р д.
Ясно, что невзаимоподчиняемые модели Мр и Мд неизоморфны. Кроме того, как и для малых теорий, неизоморфные модели могут найтись среди взаимоподчиняемых.
Через КК(Т) обозначается множество Р типов изоморфизма моделей Мр, р € Б(Т), с отношением подчинения, индуцированным отношением подчинения <як между моделями Мр: КК(Т) = (Р; <як). Будем говорить, что типы изоморфизма М1, М2 € Р взаимоподчиняемы (М1 М2), если взаимоподчиняемы их представители.
Рассмотрим теперь отношение <як, определённое на множестве Б(Т) полных типов теории Т. Система (Б(Т); <як) обозначается как ККТ(Т).
Высотой (шириной) предупорядоченного множества {X; <) называется супремум мощностей её <-(анти)цепей, состоящих из попарно не ^-эквивалентных элементов, где ~ ^ (<П >). Напомним [1], что если а € X, то множество А (а) (соответственно у(а)), состоящее из всех элементов х множества X, для которых выполняется х < а (а < х), называется нижним (верхним) конусом элемента а.
Следуя [2] континуальное предупорядоченное направленное вверх множество {X; < ) называется предмодельным, если оно имеет:
• счётное число элементов под каждым элементом а € X: | А(р)| = ш;
• лишь счётные классы ^-эквивалентности: | А (а) П у(а)| = ш для любого элемента а € X);
• счётное или континуальное и при этом совпадающее с X, косчётное или коконтитуальное множество общих элементов над любыми элементами а\,... ,а,п € X: |у(а0П.. .Пу(ага)| = ш, или | у(а0П.. .Пу(ага)| = 2Ш и при этом у(а1) П ... П у(ап) = X, X \ (у(а^ П ... П у(ап ))| = ш или X \ (уЫ П ... П у(а„))| = 2Ш;
• счётную высоту.
Предложение 1. [2] Если Т € Тс, то система ИКТ(Т) предмодельна.
Мы определим некоторый, достаточно широкий класс предмодель-ных предупорядоченных множеств {X; <), которые реализуются в виде ИКТ(Т). Для этого обогатим системы {X; <) счётными множества-
(2)
ми двухместных предикатов Qk , к € ш, соответствующих формулам ф(х,у), которые обеспечивают подчинение одних типов другими. Эти обогащения представляют собой превращение орграфа {X; <) в помеченный граф.
В первом из предлагаемых ниже двух обогащений раскраски дуг (р, д) € < предикатами Qk означают, что при интерпретации элементов р и д в системе ИКТ(Т) типами р'(х) и д'(у) соответственно формула Qk(х,у) свидетельствует о подчинении типа р типу д', т. е. для любой реализации а типа д' формула Qk(х, а) совместна и Qk(х, а) Ь р'(х). Во втором обогащении предполагается, что предикаты Qk обеспечивают подчинение для некоторых типов р' и д' и при этом, помимо возможного подчинения для каких-то других типов, могут связывать реализации ещё каких-то типов уже без условия подчинения.
Будем говорить, что предмодельное множество {X; <) обладает свойством раскраски первого рода или свойством квази-типовой раскраски,
(2)
если {X; <) имеет обогащение двухместными предикатами Qk ), к € ш, удовлетворяющими следующим условиям:
1) тогда и только тогда выполняется |= Qk(р,д) для некоторого к, когда р < д;
2) для любого к € ш существуют р,д с условием р < д и такие, что
= Як (р,д); =
3) = Як(р, д) ^ 3=1хЯк(х, д), р,д € X, к € ш;
4) для любого элемента р € X и любых к1,...,кп € ш множество Якх (р, X) П ... П Якп (р, X) не более чем счётно, или континуально и при этом коконтинуально или не менее чем косчётно.
Предмодельное множество (X; <) обладает свойством раскраски
второго рода или свойством квази-типовой раскраски для реализаций,
(2)
если (X; <) имеет обогащение двухместными предикатами Як , к € ш, удовлетворяющими следующим условиям:
1) тогда и только тогда выполняется = Як(р,д) для некоторого к, когда р < д;
2) если р < д,то найдётся номер к такой, что =Як(р, д) /\Э=1хЯк(х, д);
3) для любого к € ш существуют р,д с условием р < д и такие, что
= Як(р,д) / 3=1хЯк(х,д);
4) для любого элемента р € X и любых к1 ,...,кп € ш каждое из множеств Як! (р^) П ... П Якп (р, X), Якг ^,р) П ... П Якп (X, р) не более чем счётно, или континуально и при этом коконтинуально или не менее чем косчётно.
Очевидно, что каждая система ККТ(Т) (при интерпретации предикатов Як формулами, свидетельствующими о подчинении одних типов другим), будучи стоуновским пространством, обладает свойствами раскраски и первого, и второго рода. При этом, в отличие раскрасок первого рода, отражающих лишь подчинение типов (тип р подчиняется типу д, если рЯкд для некоторого к, и здесь тип р по паре (д, к) определяется однозначно) для раскрасок второго рода каждая формула Як, обеспечивая подчинение для некоторой пары (р, д), может также связывать ещё какие-то типы д1 с некоторыми непустыми семействами типов Гк,д/ = [р1 I г € 1к} (с условием р'Якд' ^ р' € Екд), задавая подчинение семейства ^ , д типу д'.
Нетрудно заметить, что из подчинения конечного семейства типов Е некоторому типу д1 следует, что каждый тип из ^ подчиняется типу д1 (достаточно к формуле, обеспечивающей это подчинение, конъюнк-тивно добавлять формулы, изолирующие типы в семействе Е). Если же типу д' подчиняется бесконечное семейство Е, то, согласно свойству сто-уновского пространства, мы можем лишь гарантировать отделимость любых двух различных типов р1,р2 € Е (с помощью формул для которых р € р1 и € р2).
Будем говорить, что предупорядоченное множество X = (X; <,/) с раскраской f: < ^ V(а) дуг в < (а — счётный ординал, каждый элемент которого является индексом или, иначе говоря, цветом к некоторого предиката Як) и имеющим свойство раскраски первого (второго)
рода является счётно порождённым из предупорядоченного множества Хо = ^о; <о,/о) с раскраской /о: <о ^ Р(«о) дуг в <о и имеющего свойство раскраски первого (второго) рода, если X = Сш (Хо), т. е. X получается из Хо в результате счётного числа применений оператора С такого, что С(У) = {С(У); <с(у),/а(у)) обладает свойством раскраски первого (второго) рода и для У = {У; <у, /у) удовлетворяет следующим условиям:
• каждый элемент у € У остаётся фиксированным или заменяется на не более чем счётное (> 1) или континуальное число новых элементов, и таких замен производится не более чем для счётного числа элементов;
• если уо <у у1, уо фиксирован, и у1 фиксирован (У1 = {у1}) или заменяется на множество У1 новых элементов, то уо < у[ и /с(у)(Уо,У1) 5 /у (Уо ,У 1) для любого у[ € У1;
• если уо <у у1, уо заменяется на множество Уо новых элементов и у1 фиксирован (У1 ^ {У1}) или заменяется на множество У1 новых элементов, то для любых у'о € Уо и у'1 € У1 условие у'о <с(у) у'1 относительно цвета Со1 в /у(уо,у1) П /с(у)(Уо,У\) влечёт условие уо <у У1 относительно цвета Со1; при этом, если множество Уо конечно, то
П /с(у)(УоУ ) = 0;
у[ еУ!
• для любого Со1 € Р/С(У) \ Р1у множество /—у)(Со1) не более чем счётно.
Напомним [2], что оператор континуального разбиения 1ер(А, Ао,У,{Щ(2) }г£Ш)
получает на вход:
1) предикатную алгебраическую систему А;
2) подсистему Ао С А, носитель которой совпадает с бесконечным множеством решений некоторой формулы ф(х) в системе А, а сама подсистема задаёт единственный неглавный 1-тип р(х) € 5(0) и при этом реализующийся в ней;
3) бесконечное множество У с условием У П А = 0;
(2)
4) последовательность двухместных предикатных символов Щ , г € ш.
Будем предполагать, что областью определения предикатов Щ является множество Ао, областью значений — множество У, Ь К1(х,у) ^ Ко(х,у), г > 0. Работа оператора описывается следующими схемами формул:
1) Чх 3~у(Со1о(х) ^ Щ(х,у));
2) Ух,х' (—(х & х') ^ —Зу(Яо(х,у) Л Ко(х', у))), то есть Що-образы разных элементов из множества решений формулы ф(х) не пересекают-
ся, и тем самым при помощи формулы Ro(x,y) на множестве Y определяется отношение эквивалентности с бесконечным числом бесконечных классов;
п л
3) Vx(Coln(x) ^ 3~y(Rc(x,y) Л /\ Rii(x,y)) Л -3z \/ Ri(x,z)) при
i=1 i>n
всевозможных двоичных наборах (¿i,... ,5п), то есть для любого элемента a € A0, имеющего цвет n, при помощи формул Rn(x,y) происходит разбиение множества решений формулы R0(a,y) на 2п непересекающихся частей, каждая из которых бесконечна.
Таким образом, с помощью формул Rn(a, y) происходит разбиение множества решений формулы R0(a,y), где a |= p^(x), на континуум попарно непересекающихся частей. На выход оператора подаётся алгебраическая система с континуумом неглавных типов [R¿ii (a, y) | i € ш \ {0}}, и над типом p^(x) нет простой модели.
Теорема 1. Для любого конечного предупорядоченного множества X0 = (X0; <0,f0) с раскраской f0: <0 ^ P(од) и обладающего свойством раскраски первого (второго) рода, а также для любого счётно порожденного предупорядоченного множества Ош(X0) первого (второго) рода существует счётная теория T € Tc, для которой некоторое ограничение системы RKT(T), обогащённое формулами, обеспечивающими подчинение типов и раскраску дуг, изоморфно системе Сш(X0).
Доказательство. Рассмотрим сначала предупорядоченное множество (X0; <0) без раскраски дуг. Обозначим мощность множества X0 через n и рассмотрим теорию T' одноместных предикатов Pi, i < n, образующих разбиение некоторого множества A на непересекающиеся бесконечные множества с раскраской Col: A ^ ш U такой, что для любых i < n, j € ш, существует бесконечно много реализаций каждого из типов {Colj(x) Л Pi(x)}, {-Colj(x) | j € ш}и{Г,,(x)} = pi(x). Каждое из указанных множеств формул изолирует полный тип. Поставим в соответствие каждому элементу xi множества X0 предикат Pi, i < n.
Обогатим теорию T' до теории T0 двухместными предикатами Qk¡, областью определениях которых будет множество решений формулы Pk(x), а областью значений — множество решений формулы Pi(x), ß € f0(xk,xi). Свяжем типы pk и pi предикатом Q^, где xi является покрывающим для xk в системе X0, xi соответствует pi и xk соответствует Pk, преобразуя раскраску Col в 1-несущественную Qвl-упорядоченную [1, 2]:
1) для любых i > j существуют элементы a,b € A такие, что
|= Coli (a) Л Colj (b) Л Qßkl(a, b) Л Pk (a) Л Pi(b);
2) если i < j, то не существует элементов a,b € A таких, что
|= Coli (a) Л Colj (b) Л Qßki(a, b) Л Pk (a) Л Pi(b).
При этом цвет в берётся тот, которым обладает дуга, связывающая элементы Xl,Xk, соответствующие предикатам Р и Pk. Если а == рь(у), то Qkl(x, а) — изолирующая формула и Q^вl(x, а) Ь р^х), и при этом реализации типа pк не полуизолируют реализации типа р1. Таким образом на множестве неглавных 1-типов рг(х), г € ш, организован предпоря-док с раскраской дуг, соответствующий предпорядку <о и раскраске /о. Обозначим получившуюся структуру через Мо. Положим То = ТИ(Мо).
Будем далее считать, что оператор С применяется не только к структуре Хо, но и к соответствующей ей структуре Мо. Положим Мг+1 = С(Мг) = Сг(Мо), г € ш. Опишем действие оператора на Мг, соответствующее действию на Хг = Сг(Хо).
Пусть структура Мг уже определена. Если элемент х1 € Xг остаётся фиксированным, то на структуре Мг относительно этого элемента ничего не изменяется. Пусть элемент х1 € Xг, которому подчинялись какие-то элементы х1д, меняется на не более чем счётное число, скажем ¡, элементов, и элементу х1 соответствует некоторый предикат Р1. Тогда обогатим теорию Тг = ТИ(Мг) одноместными предикатами К-, . € л, разбивающими множество решений формулы Р1(у) на л частей так, что на л бесконечных частей разбивается каждое из множеств решений формул Со^- (у) Л Р1(у), .] € ш. Очевидно, что типы, строго подчиняющиеся типу р1(х), и раскраска дуг при этом сохраняются.
Пусть элемент х1 € X меняется на континуальное число элементов и элементу х1 соответствовал предикат Р1. Обогатим теорию Тг счётным числом одноместных предикатов К-, образующих разбиение каждого из множеств решений формул Со— (у) Л Р1 (у), . € ш, на континуальное число частей с помощью формул Д Щ3 (у), где 5- € {0,1}. Данное
зеш
действие аналогично действию оператора континуального разбиения. Отличие заключается в том, что на континуум частей разбивается само множество решений Р1 (х), а не некоторое связанное с ним множество, не пересекающееся с самой структурой Мг. Очевидно, что типы, строго подчиняющиеся типу р1(х), остаются подчиняющимися (формулы, осуществляющие подчинение, сохраняются) и раскраска дуг при этом сохраняется. Если произошло разбиение покрывающего элемента на континуальное число типов, то в новые покрывающие входит какое-то счётное число типов, относящихся к рассматриваемой структуре. Ясно, что не все получившиеся неглавные типы реализуются на построенной счётной структуре. Возьмём те, которые реализуются, и поместим в их в искомое ограничение системы ИКТ(Тг+1). Подчинение типов и раскраска дуг при этом так же сохраняется. Остальные условия, накладываемые на оператор С, выполняются по построению системы
г.
Действительно, пусть элементам Xk ,х1 € Xг, Xk < х1, соответствовали неглавные 1-типы pk и р1 (можно говорить как о предикатах Pk и Р1, так и о типах pk и р1, так как эти типы однозначно определяются данными предикатами и наоборот). Тогда после разбиения множества решений типа р1(х) на части, определяемые множествами решений типов р1(х)и{К-(х)}, старые раскрашенные дуги, обеспечивающие подчинение типов, образуют подмножество для множества новых дуг. Если меняется подчиняющийся элемент Xk, то раскраска в дуг из Qal, обеспечивающих подчинение, разбивается на "оттенки" в-, соответствующие К-, . € Таким образом, получаем новую структуру Мг+1 и теорию Тг+1 =ТИ(Мг+1).
Если хотя бы на одном шаге от Тг к Тг+1 произошло разбиение на континуум частей, то искомая теория Т €ТС получается на счётном шаге. Иначе, необходимо обеспечить немалость теории Т. Это можно сделать, применив оператор континуального разбиения. В данном случае можно положить А = СШ(М0), Ло = Ош(Мо \ Р0). □
Теорема 2. Для любого счётного ограничения {X; <) предмодельно-го множества существует теория Т € ТС, для которой некоторое счётное ограничение системы ККТ(Т) изоморфно системе {X; <).
Доказательство. Аналогично доказательству предыдущей теоремы построим систему 1-типов с предпорядком, соответствующее предупо-рядоченному множеству {X; <), с той только разницей, что предикатов Рг возьмём счётное число и, соответственно, разбиение множества А произойдёт на счётное число частей. Немалость теории обеспечивается за счёт оператора континуального разбиения. □
В заключение отметим, что отказавшись в определении предмодель-ного множества от условия счётности множеств Д(р), а в определении квази-типовой раскраски — от условий 3 (единственности подчиняемых элементов относительно предикатов Qk), а также заменив формулы Qk на типы г, получим более широкий класс предупорядочен-ных множеств с раскрасками дуг, которые интерпретируют условие обобщённого подчинения каждому типу д(у) семейства множеств типов {р(х ) | г(х,у) ир(х) ид(у) совместно} относительно типов или семейств типов г(х ,у). При сохранении вышеупомянутых условий счётности числа шагов построения теории приведённые результаты обобщаются для предупорядоченных множеств с условием обобщённого подчинения.
Список литературы
1. Судоплатов С. В. Проблема Лахлана / С. В. Судоплатов. - Новосибирск Изд-во НГТУ, 2009. - 336 с.
2. Popkov R. A. Distributions of countable models of complete theories with continuum many types / R. A. Popkov, S. V. Sudoplatov // arXiv:1210.4043v1 [math.LO]. - 2012. - 30 p.
3. Sudoplatov S. V. On Rudin - Keisler preorders in small theories / S. V. Sudoplatov // Algebra and Model Theory 8. Collection of papers / eds.: A. G. Pinus, K. N. Ponomaryov, S. V. Sudoplatov, and E. I. Timoshenko. - Novosibirsk : NSTU, 2011. - P. 94-102.
4. Tanovic P. Theories with constants and three countable models / P. Tanovic // Archive for Math. Logic. - 2007. - Vol. 46, N 5-6. - P. 517-527.
R. A. Popkov, S. V. Sudoplatov
Operators generating Rudin — Keisler preorders in the class of theories with continuum many types
Abstract. We construct an operator on the class of countable complete theories with continuum many types, generating Rudin - Keisler preorders with arbitrary countable restrictions.
Keywords: theory with continuum many types; Rudin - Keisler Preorder; generating operator.
Попков Роман Андреевич, аспирант, ассистент кафедры алгебры и математической логики, Новосибирский государственный технический университет, 630073, Новосибирск, пр. К. Маркса, 20, тел. (383)3461166 ([email protected])
Судоплатов Сергей Владимирович, доктор физико-математических наук, доцент, ведущий научный сотрудник, Институт математики им. С. Л. Соболева СО РАН, 630090, Новосибирск, пр. Академика Коптю-га, 4, тел.: (383)3634674; профессор кафедры алгебры и математической логики, Новосибирский государственный технический университет, 630073, Новосибирск, пр. К. Маркса, 20, тел. (383)3461166; доцент кафедры алгебры и математической логики, Новосибирский государственный университет, 630090, Новосибирск, ул. Пирогова, 2, тел. (383)3634020 ([email protected])
Popkov Roman, Novosibirsk State Technical University, 20, K. Marx Avenue, Novosibirsk, 630073, graduate student, assistant, Phone: (383)3461166 ([email protected])
Sudoplatov Sergey, Sobolev Institute of Mathematics SB RAS, 4, Academician Koptyug Avenue, Novosibirsk, 630090, leading researcher, Phone (383)3634674; Novosibirsk State Technical University, 20, K. Marx Avenue, Novosibirsk, 630073, professor, Phone: (383)3461166; Novosibirsk State University, 2, Pirogova street, Novosibirsk, 630090, associate professor, Phone: (383)3634020 ([email protected])
