Typical equivalence of linear groups and other algebraic systems
Fundamentalʹnaâ i prikladnaâ matematika, Tome 16 (2010) no. 7, pp. 181-196
Citer cet article
Voir la notice de l'article provenant de la source Math-Net.Ru
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.
[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