Typical equivalence of linear groups and other algebraic systems
Fundamentalʹnaâ i prikladnaâ matematika, Tome 16 (2010) no. 7, pp. 181-196
The paper is devoted to the notion of typical equivalence introduced by B. I. Plotkin. We give some examples of elementarily equivalent objects that are not typically equivalent and show two ways to construct nonisomorphic typically equivalent algebras. We also prove A. I. Maltsev's theorem on elementary equivalence of linear groups over fields for the case of typical equivalence.
@article{FPM_2010_16_7_a7,
author = {A. D. Maksimov},
title = {Typical equivalence of linear groups and other algebraic systems},
journal = {Fundamentalʹna\^a i prikladna\^a matematika},
pages = {181--196},
year = {2010},
volume = {16},
number = {7},
language = {ru},
url = {http://geodesic.mathdoc.fr/item/FPM_2010_16_7_a7/}
}
A. D. Maksimov. Typical equivalence of linear groups and other algebraic systems. Fundamentalʹnaâ i prikladnaâ matematika, Tome 16 (2010) no. 7, pp. 181-196. http://geodesic.mathdoc.fr/item/FPM_2010_16_7_a7/
[1] Vereschagin N. K., Shen A., Nachala teorii mnozhestv, M., 1999
[2] Keisler G., Chen Ch. Ch., Teoriya modelei, Mir, M., 1977 | MR
[3] Maltsev A. I., “Ob elementarnykh svoistvakh lineinykh grupp”, Problemy matematiki i mekhaniki, Novosibirsk, 1961, 110–132 | Zbl
[4] B. Plotkin, G. Zhitomirski, “Some logical invariants of algebras and logical relations between algebras”, Algebra i analiz, 19:5 (2007), 214–245 | MR
[5] Plotkin B., Isotyped algebras, Preprint