Fundamentalʹnaâ i prikladnaâ matematika, Tome 5 (1999) no. 3, pp. 885-901
Citer cet article
L. V. Shabunin. On elementary equivalence of free quasigroups. Fundamentalʹnaâ i prikladnaâ matematika, Tome 5 (1999) no. 3, pp. 885-901. http://geodesic.mathdoc.fr/item/FPM_1999_5_3_a17/
@article{FPM_1999_5_3_a17,
author = {L. V. Shabunin},
title = {On elementary equivalence of free quasigroups},
journal = {Fundamentalʹna\^a i prikladna\^a matematika},
pages = {885--901},
year = {1999},
volume = {5},
number = {3},
language = {ru},
url = {http://geodesic.mathdoc.fr/item/FPM_1999_5_3_a17/}
}
TY - JOUR
AU - L. V. Shabunin
TI - On elementary equivalence of free quasigroups
JO - Fundamentalʹnaâ i prikladnaâ matematika
PY - 1999
SP - 885
EP - 901
VL - 5
IS - 3
UR - http://geodesic.mathdoc.fr/item/FPM_1999_5_3_a17/
LA - ru
ID - FPM_1999_5_3_a17
ER -
%0 Journal Article
%A L. V. Shabunin
%T On elementary equivalence of free quasigroups
%J Fundamentalʹnaâ i prikladnaâ matematika
%D 1999
%P 885-901
%V 5
%N 3
%U http://geodesic.mathdoc.fr/item/FPM_1999_5_3_a17/
%G ru
%F FPM_1999_5_3_a17
For free quasigroups the following results are proved. Every two free quasigroups have the same $\forall$-theory. The elementary theory of any class of free quasigroups of infinite rank is decidable and coincides with the elementary theory of a free quasigroup of countable rank.