FUNDAMENTALNAYA I PRIKLADNAYA MATEMATIKA

(FUNDAMENTAL AND APPLIED MATHEMATICS)

1999, VOLUME 5, NUMBER 3, PAGES 885-901

On elementary equivalence of free quasigroups

L. V. Shabunin

Abstract

View as HTML     View as gif image    View as LaTeX source

For free quasigroups the following results are proved. Every two free quasigroups have the same $$"-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.

All articles are published in Russian.

Location: http://mech.math.msu.su/~fpm/eng/99/993/99318h.htm
Last modified: November 11, 1999