arXiv subjects
Publications and source records attributed to Aivars Berzins.
In this paper we consider noetherianity for formulas of propositional and predicate calculus over different fields. Three types of noetherianity are considered: standard noetherianity, logical noetherianity and denumerable noetherianity.
In this paper, the problem formulated in [8] is solved. We prove, that the group of automorphisms of the category of free associative algebras is generated by semi-inner and mirror automorphisms
In this paper is proved that the group of automorphisms of semigroup End(P[X]), if P is algebraically closed field, is generated by semi-inner automorphisms.