Abstract: Topological properties and characteristics of families of theories reflect possibilities of separation of theories and a complexity both for theories and their neighbourhoods. Previously, topologies were studied for families of complete theories, in general case and for a series of natural classes, and for various families of incomplete theories in a fixed language. The ranks were defined and described for complete theories in a given language, for a hierarchy of theories, for families of incomplete theories, for formulae and for a series of natural families of theories, including families of ordered theories, families of theories of permutations and families of theories of abelian groups. In this paper, we study properties and characteristics for topologies and ranks for families of theories in various languages. It is based on special relations connecting formulae in a given language. These relations are used to define and describe kinds of separations with respect to 𝑇0-topologies, 𝑇1-topologies and Hausdorff topologies. Besides special relations are used to define and study ranks for families of theories in various languages. Possibilities of values for the rank are described, and these possibilities are characterized in topological terms.

Cite: Sudoplatov S.V.
Topologies and ranks for families of theories in various languages
Известия Иркутского государственного университета. Серия: Математика (Bulletin of Irkutsk State University. Series Mathematics). 2022. V.40. P.78-92. DOI: 10.26516/1997-7670.2022.40.78 WOS Scopus РИНЦ OpenAlex

Dates:

Submitted:	Mar 5, 2022
Accepted:	Apr 14, 2022
Published print:	Jun 8, 2022
Published online:	Jun 8, 2022

Identifiers:

Web of science:	WOS:000832900600006
Scopus:	2-s2.0-85132919664
Elibrary:	48614758
OpenAlex:	W4285144986

Citing: Пока нет цитирований

Altmetrics: