Rings which admit elimination of quantifiers
scientific article