Zobrazeno 1 - 10
of 36
pro vyhledávání: '"E. A. Palyutin"'
Publikováno v:
Russian Mathematics. 62:1-12
We describe algebras of distributions of binary isolating formulas for theories of abelian groups and some of their ordered enrichments. The base of this description is the general theory of algebras of isolating formulas. We also take into account t
Autor:
E. A. Palyutin
Publikováno v:
Algebra and Logic. 55:407-411
Autor:
E. A. Palyutin
Publikováno v:
Algebra and Logic. 54:296-315
We give a complete description of Abelian groups that are totally P-stable for the following four natural types of subgroups: arbitrary subgroups, pure subgroups, elementary subsystems, and algebraically closed subgroups.
Autor:
E. A. Palyutin
Publikováno v:
Algebra and Logic. 54:183-187
Autor:
E. A. Palyutin
Publikováno v:
Algebra and Logic. 53:140-165
We consider four types of subgroups of Abelian groups: arbitrary subgroups (s-subgroups), algebraically closed subgroups (a-subgroups), pure subgroups (p-subgroups), and elementary subgroups (e-subgroups). A language L(X) is an extension of a languag
Autor:
E. A. Palyutin
Publikováno v:
Algebra and Logic. 52:404-421
(P, a)-stable and (P, s)-stable Abelian groups are described. It is also proved that every Abelian group is (P, p)-stable. In particular, results due to M. A. Rusaleev [6] and T. A. Nurmagambetov [7] derive from these.
Autor:
E. A. Palyutin
Publikováno v:
Siberian Mathematical Journal. 52:1056-1064
We study connection between categorical Horn theories and modules. We show that each function enrichment of any abelian group to a primitive normal structure is primitively equivalent to some module. We give a description for the categorical Horn cla
Autor:
E. A. Palyutin
Publikováno v:
Algebra and Logic. 49:526-538
We come up with a quite efficient characterization of uncountably categorical Horn classes, which, in particular, implies that the classes in question are model complete. It is also worth mentioning the following results: quantifier elimination down
Autor:
E. A. Palyutin
Publikováno v:
Journal of Mathematical Sciences. 167:825-840
The basic result of the work is the theorem that if an axiomatizable class K of structures is closed under reduced powers by the Frechet filter and it has a stable noncommutative theory, then the class of all graphs is interpretable in the class K.
Autor:
E. A. Palyutin
Publikováno v:
Algebra and Logic. 44:326-335
A question is studied as to which properties (classes) of elementary theories can be defined via generalized stability. We present a topological account of such classes. It is stated that some well-known classes of theories, such as strongly minimal,