Вестн. НГУ. Сер. матем., мех., информ.,
2014, том 14, выпуск 2, страницы 24–41
(Mi vngu334)
|
Совершенная локальная вычислимость суператомных булевых алгебр
Д. А. Луппов Институт математики им. С. Л. Соболева СО РАН, пр. Акад. Коптюга, 4, Новосибирск, 630090, Россия
Аннотация:
Доказано, что суператомная булева алгебра совершенно локально вычислима тогда и только тогда, когда ее ранг равен вычислимому ординалу.
Ключевые слова:
суператомная булева алгебра, локальная вычислимость, совершенная локальная вычислимость, ранг суператомной булевой алгебры.
УДК:
510.5+
510.6+
512.563 Поступила в редакцию: 30.06.2013
© , 2024
Полный текст:
PDF файл (254 kB)
