Topologies, Ranks, and Closures for Families of Theories. I

N. D. Markhabatov, S. V. Sudoplatov

Результат исследования: Научные публикации в периодических изданияхстатьярецензирование

1 Цитирования (Scopus)

Аннотация

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.

Язык оригиналаанглийский
Страницы (с-по)437-455
Число страниц19
ЖурналAlgebra and Logic
Том59
Номер выпуска6
DOI
СостояниеОпубликовано - янв 2021

Предметные области OECD FOS+WOS

  • 1.01 МАТЕМАТИКА
  • 1.01.QL ЛОГИКА

Fingerprint

Подробные сведения о темах исследования «Topologies, Ranks, and Closures for Families of Theories. I». Вместе они формируют уникальный семантический отпечаток (fingerprint).

Цитировать