Топологии, ранги и замыкания для семейств теорий. I Full article
Journal |
Алгебра и логика
ISSN: 0373-9252 |
||||||
---|---|---|---|---|---|---|---|
Output data | Year: 2020, Volume: 59, Number: 6, Pages: 649-679 Pages count : 31 DOI: 10.33048/alglog.2020.59.603 | ||||||
Tags | topology, rank, closure, family of theories | ||||||
Authors |
|
||||||
Affiliations |
|
Abstract:
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.
Cite:
Мархабатов Н.Д.
, Судоплатов С.В.
Топологии, ранги и замыкания для семейств теорий. 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
Translated:
Мархабатов Н.Д.
, 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
Dates:
Submitted: | May 22, 2020 |
Accepted: | Mar 5, 2021 |
Published print: | Mar 28, 2021 |
Published online: | Mar 28, 2021 |
Identifiers:
Elibrary: | 44882085 |
OpenAlex: | W4243393043 |
Citing:
DB | Citing |
---|---|
Elibrary | 4 |