Topologies, Ranks, and Closures for Families of Theories. I Full article
| Journal |
Algebra and Logic
ISSN: 0002-5232 , E-ISSN: 1573-8302 |
||||||
|---|---|---|---|---|---|---|---|
| Output data | Year: 2021, Volume: 59, Number: 6, Pages: 437-455 Pages count : 19 DOI: 10.1007/s10469-021-09620-4 | ||||||
| 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:
Мархабатов Н.Д.
, 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
Original:
Мархабатов Н.Д.
, Судоплатов С.В.
Топологии, ранги и замыкания для семейств теорий. 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
Dates:
| Submitted: | May 22, 2020 |
| Accepted: | Mar 5, 2021 |
| Published print: | Apr 6, 2021 |
| Published online: | Apr 6, 2021 |
Identifiers:
| Web of science: | WOS:000630661000004 |
| Scopus: | 2-s2.0-85103088096 |
| Elibrary: | 46765737 |
| OpenAlex: | W4240245539 |