Q-система - Большая Энциклопедия Нефти и Газа, статья, страница 3
Теорема Гинсберга: Ты не можешь выиграть. Ты не можешь сыграть вничью. Ты не можешь даже выйти из игры. Законы Мерфи (еще...)

Q-система

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]



Страницы:      1    2    3