СИБИРСКИЙ МАТЕМАТИЧЕСКИЙ ЖУРНАЛ

АННОТАЦИИ

Молчанов В. А. О нестандартной аксиоматизации элементарно неаксиоматизируемых классов дискретных алгебраических систем // Том 40 (1999), Номер 2, стр. 421–433
На основе методов нестандартного анализа А.~Робинсона
разработаны элементы нестандартной теории моделей
с целью характеризации средствами нестандартного
формального языка некоторых элементарно неаксиоматизируемых классов дискретных
алгебраических систем. Основные результаты
работы доказывают аксиоматизируемость нестандартными
тождествами наследственных формаций (т.~е.
$\bold {HSP}_{\roman {fin}}$-замкнутых классов дискретных
алгебраических систем) и аксиоматизируемость
нестандартными квазитождествами псевдоквазимногообразий
(т.~е. абстрактных
$\bold {SP}_{\roman {fin}}$-замкнутых классов
конечных алгебраических систем). Библиогр.~23.
© Сибирский Математический Журнал, 2003-2006