Topologies, Ranks, and Closures for Families of Theories. I Научная публикация
Журнал |
Algebra and Logic
ISSN: 0002-5232 , E-ISSN: 1573-8302 |
||||||
---|---|---|---|---|---|---|---|
Вых. Данные | Год: 2021, Том: 59, Номер: 6, Страницы: 437-455 Страниц : 19 DOI: 10.1007/s10469-021-09620-4 | ||||||
Ключевые слова | topology, rank, closure, family of theories | ||||||
Авторы |
|
||||||
Организации |
|
Реферат:
We describe topological properties, ranks, closures, and their dynamics for families of theories. Types of topologies for families of theories are characterized. A relationship is established between ranks and topologies for families of theories. Boolean combinations of s-definable families of theories are treated, ranks and degrees with respect to these
families are found, and values of the characteristics in question are described. We study closures of families of theories with respect to s-definable subfamilies and their Boolean combinations, properties of closure operators, and also a condition for the existence of a least generating set. Rank values for families of theories are specified in terms of
algebras of definable subfamilies.
Библиографическая ссылка:
Мархабатов Н.Д.
, Sudoplatov S.V.
Topologies, Ranks, and Closures for Families of Theories. I
Algebra and Logic. 2021. V.59. N6. P.437-455. DOI: 10.1007/s10469-021-09620-4 WOS Scopus РИНЦ OpenAlex
Topologies, Ranks, and Closures for Families of Theories. I
Algebra and Logic. 2021. V.59. N6. P.437-455. DOI: 10.1007/s10469-021-09620-4 WOS Scopus РИНЦ OpenAlex
Оригинальная:
Мархабатов Н.Д.
, Судоплатов С.В.
Топологии, ранги и замыкания для семейств теорий. I
Алгебра и логика. 2020. Т.59. №6. С.649-679. DOI: 10.33048/alglog.2020.59.603 РИНЦ OpenAlex
Топологии, ранги и замыкания для семейств теорий. I
Алгебра и логика. 2020. Т.59. №6. С.649-679. DOI: 10.33048/alglog.2020.59.603 РИНЦ OpenAlex
Даты:
Поступила в редакцию: | 22 мая 2020 г. |
Принята к публикации: | 5 мар. 2021 г. |
Опубликована в печати: | 6 апр. 2021 г. |
Опубликована online: | 6 апр. 2021 г. |
Идентификаторы БД:
Web of science: | WOS:000630661000004 |
Scopus: | 2-s2.0-85103088096 |
РИНЦ: | 46765737 |
OpenAlex: | W4240245539 |