Том 41(2000),
Номер 5, с. 1122-1125
Попов В. Ю.
О связи проблемы равенства и разрешимости эквациональной теории
Popov V. Yu.
On connection between the word problem and decidability of the equational theory
Доказано существование моногенного кольца с разрешимой проблемой равенства, эквациональная теория которого неразрешима.
Полный текст статьи / Full texts:
- PDF file (238 KB)
- PostScript file (463 KB)
Адрес редакции:
пр. Коптюга, 4,
Новосибирск 630090.
Телефон: (383-2) 333-493
E-mail:
