Аннотация:
Для произвольных равномерных алгебраических систем с непрерывной сигнатурой приводится универсальная конструкция, позволяющая исследовать вопрос о пополнении таких систем и строить их полные расширения – так называемые нестандартные оболочки. Используются методы нестандартного анализа А. Робинсона и разработанная автором техника повторных нестандартных расширений.
Библиогр. 13.
Полный текст:
PDF файл (1483 kB)
