аксиоматизируемый это:

аксиоматизируемый
adj. axiomatizable

Русско-английский словарь математических терминов. — Американское математическое общество. . 1990.

Смотреть что такое "аксиоматизируемый" в других словарях:

  • АКСИОМАТИЗИРУЕМЫЙ КЛАСС — класс однотипных моделей, определяемый системой аксиом. Класс Кмоделей формального языка Lназ. аксиоматизируемым (конечно аксиоматизируемым), если существует (конечная) система замкнутых формул языка Lтакая, что Ксодержит те и только те модели,… …   Математическая энциклопедия

  • АЛГЕБРАИЧЕСКАЯ СИСТЕМА — множество с определенными на нем операциями и отношениями. А. с. принадлежат к числу основных математич. структур и имеют глубоко разработанную общую теорию, сформировавшуюся в начале 50 х гг. 20 в. на грани между алгеброй и математич. логикой.… …   Математическая энциклопедия

  • АЛГЕБРАИЧЕСКИХ СИСТЕМ КВАЗИМНОГООБРАЗИЕ — класс алгебраич. систем ( систем), аксиоматизируемый при помощи специальных формул логич. языка 1 й ступени, к рые наз. квазитождествами, или условными тождествами, и имеют вид: где термы сигнатуры от предметных переменных . В силу теоремы… …   Математическая энциклопедия

  • Моделей теория —         раздел математики, возникший при применении методов математической логики в алгебре. Ко 2 й половине 20 в. М. т. оформилась в самостоятельную дисциплину, методы и результаты которой находят применение как в алгебре, так и в др. разделах… …   Большая советская энциклопедия

  • АЛГЕБРАИЧЕСКИХ СИСТЕМ МНОГООБРАЗИЕ — алгебраических систем класс фиксированной сигнатуры и, аксиоматизируемый при помощи тождеств, т. е. формул вида где к. л. предикатный символ из или знак равенства, а термы сигнатуры Q от предметных переменных А. с. м. наз. иначе э к,… …   Математическая энциклопедия

  • АЛГЕБРАИЧЕСКОЙ СИСТЕМЫ АВТОМОРФИЗМ — Ч изоморфное отображение алгебраической системы на себя. Автоморфизмом (А.) системы наз. всякое взаимно однозначное отображение множества Ана себя, обладающее свойствами: для всех . из Аи для всех из . Другими словами, А …   Математическая энциклопедия

  • ДОУПОРЯДОЧИВАЕМАЯ ГРУППА — группа, всякий частичный порядок в к рой может быть продолжен до линейного (см. Упорядочиваемая группа). Д. г. наз. также О* группами. Существует следующий критерий доупорядочиваемости группы. Пусть S(g) минимальная инвариантная подполугруппа… …   Математическая энциклопедия

  • ЛИНЕЙНО УПОРЯДОЧЕННАЯ ГРУППА — алгебраическая система G, являющаяся группой относительно операции умножения, линейно упорядоченным множеством относительно бинарного отношения порядка и удовлетворяющая аксиоме: для любых элементов из следует Множество положительных элементов Л …   Математическая энциклопедия

  • Универсальная алгебра — Не следует путать с универсальной алгеброй  одним из видов структур, изучаемых данным разделом математики. Универсальная алгебра  раздел математики, изучающий общие свойства алгебраических систем, отыскивая общие черты между такими… …   Википедия

Книги

  • Квазимногообразие, Джесси Рассел. Эта книга будет изготовлена в соответствии с Вашим заказом по технологии Print-on-Demand. High Quality Content by WIKIPEDIA articles! Квазимнообразие в универсальной алгебре — класс… Подробнее  Купить за 1254 руб


Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»