|
Эта публикация цитируется в 7 научных статьях (всего в 7 статьях)
Топологии, ранги и замыкания для семейств теорий. I
Н. Д. Мархабатовa, С. В. Судоплатовbca a Новосибирский гос. техн. ун-т, г. Новосибирск, РОССИЯ
b Ин-т матем. им. С. Л. Соболева СО РАН, г. Новосибирск, РОССИЯ
c Новосибирский гос. ун-т, г. Новосибирск, РОССИЯ
Аннотация:
Описываются топологические свойства, ранги, замыкания и их динамика для семейств теорий. Даётся характеризация видов топологий семейств теорий. Устанавливается связь рангов с топологиями для семейств теорий. Рассматриваются булевы комбинации $s$-определимых семейств теорий, определяются ранги и степени относительно этих семейств, описываются значения этих характеристик. Изучаются замыкания семейств теорий относительно $s$-определимых подсемейств и их булевых комбинаций, свойства операторов замыкания, а также условие существования наименьшего порождающего множества. Указываются значения ранга для семейств теорий в терминах алгебр определимых подсемейств.
Ключевые слова:
топология, ранг, замыкание, семейство теорий.
Поступило: 22.05.2020 Окончательный вариант: 05.03.2021
Образец цитирования:
Н. Д. Мархабатов, С. В. Судоплатов, “Топологии, ранги и замыкания для семейств теорий. I”, Алгебра и логика, 59:6 (2020), 649–679; Algebra and Logic, 59:6 (2021), 437–455
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/al2641 https://www.mathnet.ru/rus/al/v59/i6/p649
|
|