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