Please use this identifier to cite or link to this item: http://elar.urfu.ru/handle/10995/24573
Title: О границе разрешимости бесконечной симметрической группы
Other Titles: On the decidability boundary of the infinite symmetric group
Authors: Нагребецкая, Ю. В.
Nagrebetskaya, Yu. V.
Issue Date: 1999
Citation: Нагребецкая Ю. В. О границе разрешимости бесконечной симметрической группы / Ю. В. Нагребецкая // Известия Уральского государственного университета. — 1999. — № 14. — (Сер. Математика и механика; Вып. 2). — С. 109-118.
Abstract: We consider the problem of a description the decidability boundary of the infinite symmetric group. We prove that the positive ЗУ-theory of every such group is decidable.
В работе изучается проблема описания границы разрешимости бесконечной симметрической группы. Доказывается, что позитивная ЗУ-теория всякой такой группы разрешима.
URI: http://elar.urfu.ru/handle/10995/24573
RSCI ID: https://elibrary.ru/item.asp?id=50392137
Origin: Известия Уральского государственного университета. 1999. № 14
Appears in Collections:Известия Уральского государственного университета. Математика и Механика. Компьютерные науки

Files in This Item:
File Description SizeFormat 
iurm-1999-14-08.pdf225,6 kBAdobe PDFView/Open


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.