О нестандартной аксиоматизации элементарно неаксиоматизируемых классов дискретных алгебраических систем

На основе методов нестандартного анализа А. Робинсона разработаны элементы нестандартной теории моделей с целью характеризации средствами нестандартного формального языка некоторых элементарно неаксиоматизируемых классов дискретных алгебраических систем. Основные результаты работы доказывают аксиоматизируемость нестандартными тождествами наследственных формаций (т.е. $\mathbf {HSP}_{\mathrm{fin}}$-замкнутых классов дискретных алгебраических систем) и аксиоматизируемость нестандартными квазитождествами псевдоквазимногообразий (т.е. абстрактных $\mathbf {SP}_{\mathrm{fin}}$-замкнутых классов конечных алгебраических систем).
Библиогр. 23.