|
This article is cited in 3 scientific papers (total in 3 papers)
Algebraic and logical methods in computer science and artificial intelligence
Formulas and properties for families of theories of Abelian groups
In. I. Pavlyukab, S. V. Sudoplatovac a Novosibirsk State Technical University, Novosibirsk, Russian Federation
b Novosibirsk State Pedagogical University, Novosibirsk, Russian Federation
c Sobolev Institute of Mathematics, Novosibirsk, Russian Federation
Abstract:
First-order formulas reflect an information for semantic and syntactic properties. Links between formulas and properties define their existential and universal interrelations which produce both structural and topological possibilities for characteristics classifying families of semantic and syntactic objects. We adapt general approaches describing links between formulas and properties for families of Abelian groups and their theories defining possibilities for characteristics of formulas and properties including rank values. This adaptation is based on formulas reducing each formula to an appropriate Boolean combination of given ones defining Szmielew invariants for theories of Abelian groups. Using this basedness we describe a trichotomy of possibilities for the rank values of sentences defining neighbourhoods for the set of theories of Abelian groups: the rank can be equal $-1$, $0$, or $\infty$. Thus the neighbourhoods are either finite or contain continuum many theories. Using the trichotomy we show that each sentence defining a neighbourhood either belongs to finitely many theories or it is generic. We introduce the notion of rich property and generalize the main results for these properties.
Keywords:
formula, property, elementary theory, abelian group, rank.
Received: 20.04.2021
Citation:
In. I. Pavlyuk, S. V. Sudoplatov, “Formulas and properties for families of theories of Abelian groups”, Bulletin of Irkutsk State University. Series Mathematics, 36 (2021), 95–109
Linking options:
https://www.mathnet.ru/eng/iigum455 https://www.mathnet.ru/eng/iigum/v36/p95
|
Statistics & downloads: |
Abstract page: | 76 | Full-text PDF : | 24 | References: | 11 |
|