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 | Size | Format | |
---|---|---|---|---|
iurm-1999-14-08.pdf | 225,6 kB | Adobe PDF | View/Open |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.