|
Вестник НГУ. Серия: Математика, механика, информатика, 2014, том 14, выпуск 2, страницы 63–68
(Mi vngu337)
|
|
|
|
Об определимых и автоустойчивых конгруэнциях
А. Г. Пинус Новосибирский государственный технический университет, пр. К. Маркса, 20, Новосибирск, 630092, Россия
Аннотация:
Установлена связь между автоустойчивыми и точечно-определимыми конгруэнциями счетных универсальных алгебр.
Ключевые слова:
конгруэнции, язык логики второго порядка, автоустойчивость, точечная определимость.
Поступила в редакцию: 15.11.2013
Образец цитирования:
А. Г. Пинус, “Об определимых и автоустойчивых конгруэнциях”, Вестн. НГУ. Сер. матем., мех., информ., 14:2 (2014), 63–68; J. Math. Sci., 211:6 (2015), 824–828
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/vngu337 https://www.mathnet.ru/rus/vngu/v14/i2/p63
|
Статистика просмотров: |
Страница аннотации: | 146 | PDF полного текста: | 42 | Список литературы: | 39 | Первая страница: | 6 |
|