А. Г. Пинус, “Об определимых и автоустойчивых конгруэнциях”, Вестн. НГУ. Сер. матем., мех., информ., 2014, том 14, выпуск 2,страницы 63

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

А. Г. Пинус

Новосибирский государственный технический университет, пр. К. Маркса, 20, Новосибирск, 630092, Россия

Аннотация: Установлена связь между автоустойчивыми и точечно-определимыми конгруэнциями счетных универсальных алгебр.

Ключевые слова: конгруэнции, язык логики второго порядка, автоустойчивость, точечная определимость.

УДК: 519.48

Поступила в редакцию: 15.11.2013