Ranks for families of regular graph theories

Herald of Kazakh-British technical university, 2022

Full text Open access: Gold Metadata (CSL-JSON)
DOI 10.55452/1998-6688-2022-19-3-54-59
Data confidence 70 medium
How this score is calculated

It is built from checkable properties of the record itself: whether the article has a DOI, how many independent sources confirmed its data, whether the required fields are filled in, and how recent the latest confirmation is. Disagreement between sources and a missing identifier lower it. A value of 80 or above means the record was published without further checking; 60 to 79 means it is published at reduced confidence, with a manual check advisable. A record verified by an editor by hand is never pushed below 90 by a recalculation. This scores our data about the article, not the article itself.

Abstract

This article deals with families of regular graph theories. Using invariants of regular graph theory, a criterion for e-minimality,a-minimality, and α-minimality of subfamilies of the family of all regular graph theories is obtained. These ranks and degrees play a similar role for families of theories with hierarchies for definable theories, such as Morley's Hierarchies for a fixed theory, although they have their own peculiarities. The rank of families of theories can be thought of as a measure of the complexity or richness of these families. Thus, by increasing rank by expanding families, we produce richer families and get families with infinite rank, which can be considered "rich enough". The ranks for families of the theory of regular graphs with finite and infinite diagonals are described. The family of all regular graph theories has infinite rank. This follows from the fact that if a language consists ofm-ary symbols,m≥2, then the family of all theories of the given language has an infinite rank. This also means that the family of all regular graph theories is not e-totally transcendental. The results obtained can be considered as a partial answer to the question posed in [5].