Geodesic
Classes of properties preserved under morphisms of generalizations of many-sorted algebraic systems in studying dynamics
Trudy Instituta matematiki i mehaniki, Trudy Instituta Matematiki i Mekhaniki UrO RAN, Tome 20 (2014) no. 1, pp. 185-200

Voir la notice de l'article provenant de la source Math-Net.Ru

We develop the method of logical algebraic equations, which is a method for constructing preservation conditions for properties of some generalizations of many-sorted algebraic systems under their mappings to each other. Preservation criteria are formulated in terms of the notion of canonical generalization of these mappings to Bourbaki grades. Algorithms that simplify solutions of logical algebraic equations are used to describe classes of formulas preserved under single-type morphisms.
Keywords: preservation of properties, many-sorted algebraic system, logical algebraic equation.
Mots-clés : morphism 
@article{TIMM_2014_20_1_a17,
     author = {N. V. Nagul},
     title = {Classes of properties preserved under morphisms of generalizations of many-sorted algebraic systems in studying dynamics},
     journal = {Trudy Instituta matematiki i mehaniki},
     pages = {185--200},
     publisher = {mathdoc},
     volume = {20},
     number = {1},
     year = {2014},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/TIMM_2014_20_1_a17/}
}
TY  - JOUR
AU  - N. V. Nagul
TI  - Classes of properties preserved under morphisms of generalizations of many-sorted algebraic systems in studying dynamics
JO  - Trudy Instituta matematiki i mehaniki
PY  - 2014
SP  - 185
EP  - 200
VL  - 20
IS  - 1
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/TIMM_2014_20_1_a17/
LA  - ru
ID  - TIMM_2014_20_1_a17
ER  - 
%0 Journal Article
%A N. V. Nagul
%T Classes of properties preserved under morphisms of generalizations of many-sorted algebraic systems in studying dynamics
%J Trudy Instituta matematiki i mehaniki
%D 2014
%P 185-200
%V 20
%N 1
%I mathdoc
%U http://geodesic.mathdoc.fr/item/TIMM_2014_20_1_a17/
%G ru
%F TIMM_2014_20_1_a17
N. V. Nagul. Classes of properties preserved under morphisms of generalizations of many-sorted algebraic systems in studying dynamics. Trudy Instituta matematiki i mehaniki, Trudy Instituta Matematiki i Mekhaniki UrO RAN, Tome 20 (2014) no. 1, pp. 185-200. http://geodesic.mathdoc.fr/item/TIMM_2014_20_1_a17/