ISSN: 2310-757X
Пожалуйста, используйте этот идентификатор, чтобы цитировать или ссылаться на этот ресурс:
http://elar.urfu.ru/handle/10995/24573| Название: | О границе разрешимости бесконечной симметрической группы |
| Другие названия: | On the decidability boundary of the infinite symmetric group |
| Авторы: | Нагребецкая, Ю. В. Nagrebetskaya, Yu. V. |
| Дата публикации: | 1999 |
| Библиографическое описание: | Нагребецкая Ю. В. О границе разрешимости бесконечной симметрической группы / Ю. В. Нагребецкая // Известия Уральского государственного университета. — 1999. — № 14. — (Сер. Математика и механика; Вып. 2). — С. 109-118. |
| Аннотация: | 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 |
| Идентификатор РИНЦ: | https://elibrary.ru/item.asp?id=50392137 |
| Источники: | Известия Уральского государственного университета. 1999. № 14 |
| Располагается в коллекциях: | Известия Уральского государственного университета. Математика и Механика. Компьютерные науки |
Файлы этого ресурса:
| Файл | Описание | Размер | Формат | |
|---|---|---|---|---|
| iurm-1999-14-08.pdf | 225,6 kB | Adobe PDF | Просмотреть/Открыть |
Все ресурсы в архиве электронных ресурсов защищены авторским правом, все права сохранены.