-
1 relatively axiomatic class
Универсальный англо-русский словарь > relatively axiomatic class
-
2 relatively axiomatic class
English-Russian scientific dictionary > relatively axiomatic class
-
3 relatively axiomatizable class
English-Russian scientific dictionary > relatively axiomatizable class
См. также в других словарях:
АЛГЕБРАИЧЕСКИХ СИСТЕМ КВАЗИМНОГООБРАЗИЕ — класс алгебраич. систем ( систем), аксиоматизируемый при помощи специальных формул логич. языка 1 й ступени, к рые наз. квазитождествами, или условными тождествами, и имеют вид: где термы сигнатуры от предметных переменных . В силу теоремы… … Математическая энциклопедия
АЛГЕБРАИЧЕСКАЯ СИСТЕМА — множество с определенными на нем операциями и отношениями. А. с. принадлежат к числу основных математич. структур и имеют глубоко разработанную общую теорию, сформировавшуюся в начале 50 х гг. 20 в. на грани между алгеброй и математич. логикой.… … Математическая энциклопедия
ДОУПОРЯДОЧИВАЕМАЯ ГРУППА — группа, всякий частичный порядок в к рой может быть продолжен до линейного (см. Упорядочиваемая группа). Д. г. наз. также О* группами. Существует следующий критерий доупорядочиваемости группы. Пусть S(g) минимальная инвариантная подполугруппа… … Математическая энциклопедия
Универсальная алгебра — Не следует путать с универсальной алгеброй одним из видов структур, изучаемых данным разделом математики. Универсальная алгебра раздел математики, изучающий общие свойства алгебраических систем, отыскивая общие черты между такими… … Википедия
АЛГЕБРАИЧЕСКИХ СИСТЕМ МНОГООБРАЗИЕ — алгебраических систем класс фиксированной сигнатуры и, аксиоматизируемый при помощи тождеств, т. е. формул вида где к. л. предикатный символ из или знак равенства, а термы сигнатуры Q от предметных переменных А. с. м. наз. иначе э к,… … Математическая энциклопедия
ЛИНЕЙНО УПОРЯДОЧЕННАЯ ГРУППА — алгебраическая система G, являющаяся группой относительно операции умножения, линейно упорядоченным множеством относительно бинарного отношения порядка и удовлетворяющая аксиоме: для любых элементов из следует Множество положительных элементов Л … Математическая энциклопедия