Cтраница 3
В этих системах изучен участок трехфазной кривой, исходящей из точки плавления силиката или окисла. Проекция этих кривых на плоскость р - t обращена выпуклостью к оси температур, что, по Бюхнеру [8], является характерным именно для сложного типа Р - Q-систем с расслаиванием. [31]
Выше уже говорилось о том, что в изученных водно-солевых системах 2-го типа температуры, отвечающие точке Q ( / Q), превышают температуры, отвечающие точке Р ( tp), только на несколько градусов. Такая большая разница между рр и PQ, указывающая на непомерно большое возрастание давления, приводит к заключению, что литиевые системы следует отнести к усложненному типу Р - Q-систем. [32]
Говорят, что Q-система А обладает локальной совокупностью Я - п одсистем, если существует направленное по включению множество Аа: а. Q-система А, обладающая локальной совокупностью Я-подсистем, принадлежит классу Я. Теоремы, устанавливающие локальность тех или иных абстрактных классов, принято наз. [33]
Я Q-систем, если для каждого конечного обеднения Аа любой конечной подмодели А а Q-системы А существует в классе Я такая Q-система В ( зависящая от выбранного конечного обеднения Аа), что модель Аар ( Аа, Qp) изоморфна модели Вар ( Ва, Q) для подходящего подмножества Ва В. [34]
ОЛ Q-систем, для к-рого каноническое отображение А - A / Q является ЭД - мор-физмом. Если F - свободная Q-система в нек-ром многообразии 53, то и, обратно, всякая вполне характеристическая конгруэнция т ] в F является В. [35]
Q-системы из Я изоморфны между собой. Всякий категоричный аксиоматизируемый класс Q-систем состоит из одной ( с точностью до изоморфизма) конечной Q-системы. [36]
Я Q-систем, если для каждого конечного обеднения Аа любой конечной подмодели А а Q-системы А существует в классе Я такая Q-система В ( зависящая от выбранного конечного обеднения Аа), что модель Аар ( Аа, Qp) изоморфна модели Вар ( Ва, Q) для подходящего подмножества Ва В. [37]
Q-системы из Я изоморфны между собой. Всякий категоричный аксиоматизируемый класс Q-систем состоит из одной ( с точностью до изоморфизма) конечной Q-системы. [38]
Я Q-систем, если для каждого конечного обеднения Аа любой конечной подмодели А а Q-системы А существует в классе Я такая Q-система В ( зависящая от выбранного конечного обеднения Аа), что модель Аар ( Аа, Qp) изоморфна модели Вар ( Ва, Q) для подходящего подмножества Ва В. [39]
Q-систему мощности m и все Q-системы из Я, имеющие мощность т, изоморфны между собой. Q-систем А, В из Я имеет место равенство Th A Th В. [40]
Наряду с аксиоматизируемостью замкнутыми формулами 1 - й ступени рассматривают также аксиоматизируемость при помощи специальных замкнутых формул 2 - й ступени. Формула 2 - й ступени, образованная из криптоуниверсальных формул без свободных предметных переменных при помощи ло-гич. S булево-универсальных формул сигнатуры Q, что Я состоит из тех и только тех Q-систем, в к-рых истинны все формулы из S. [41]
Q-системы А и обозначается просто ТЬЛ. [42]
Я-а ппроксимируемой ( или Я - р ез и дуально и), если для любого предиката P. Любая подсистема Я-аппроксимируемой системы сама Я-аппроксимируема. Я-аппроксимируемая система принадлежит классу Я. Q-системой А и все Q-системы, являющиеся гомоморфными образами системы А. [43]
Я-а ппроксимируемой ( или Я - р ез и дуально и), если для любого предиката P. Любая подсистема Я-аппроксимируемой системы сама Я-аппроксимируема. Я-аппроксимируемая система принадлежит классу Я. Q-системой А и все Q-системы, являющиеся гомоморфными образами системы А. [44]