On the decidability of equational theories of varieties of rings

V. Popov

doi:10.1007/BF02312771

On the decidability of equational theories of varieties of rings

Результат исследований: Вклад в журнал › Статья

Язык оригинала	Английский
Страницы (с-по)	770-776
Число страниц	7
Журнал	Mathematical Notes
Том	63
Номер выпуска	5-6
DOI	https://doi.org/10.1007/BF02312771
Состояние	Опубликовано - 1998

Предметные области WoS

Математика

Ссылки

10.1007/BF02312771

https://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcAuth=tsmetrics&SrcApp=tsm_test&DestApp=WOS_CPL&DestLinkType=FullRecord&KeyUT=000076726600030

Цитировать

@article{73e596ab92b9482f9534668bc1aa25f0,

title = "On the decidability of equational theories of varieties of rings",

keywords = "finitely basable variety, variety of nonassociative rings, equational theory, undecidable equational theory, free groupoid, critical theory, recursively enumerable set, Minsky machine, hierarchy of languages",

author = "V. Popov",

year = "1998",

doi = "10.1007/BF02312771",

language = "English",

volume = "63",

pages = "770--776",

journal = "Mathematical Notes",

issn = "0001-4346",

publisher = "Kluwer Academic/Plenum Publishers",

number = "5-6",

}

TY - JOUR

T1 - On the decidability of equational theories of varieties of rings

AU - Popov, V.

PY - 1998

Y1 - 1998

KW - finitely basable variety

KW - variety of nonassociative rings

KW - equational theory

KW - undecidable equational theory

KW - free groupoid

KW - critical theory

KW - recursively enumerable set

KW - Minsky machine

KW - hierarchy of languages

UR - https://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcAuth=tsmetrics&SrcApp=tsm_test&DestApp=WOS_CPL&DestLinkType=FullRecord&KeyUT=000076726600030

U2 - 10.1007/BF02312771

DO - 10.1007/BF02312771

M3 - Article

VL - 63

SP - 770

EP - 776

JO - Mathematical Notes

JF - Mathematical Notes

SN - 0001-4346

IS - 5-6

ER -