Proofs of definability of some varieties and sets of varieties of semigroups

Vernikov, B. M.

doi:10.1007/s00233-012-9377-3

Пожалуйста, используйте этот идентификатор, чтобы цитировать или ссылаться на этот ресурс: https://elar.urfu.ru/handle/10995/50959

Полная запись метаданных

Поле DC	Значение	Язык
dc.contributor.author	Vernikov, B. M.	en
dc.date.accessioned	2017-09-04T14:44:59Z	-
dc.date.available	2017-09-04T14:44:59Z	-
dc.date.issued	2012	-
dc.identifier.citation	Vernikov B. M. Proofs of definability of some varieties and sets of varieties of semigroups / B. M. Vernikov // Semigroup Forum. — 2012. — Vol. 84. — № 2. — P. 374-392.	en
dc.identifier.issn	0037-1912	-
dc.identifier.other	1	good_DOI
dc.identifier.other	db6a3079-960e-4a76-ba8b-97d061c710b3	pure_uuid
dc.identifier.other	http://www.scopus.com/inward/record.url?partnerID=8YFLogxK&scp=84858747565	m
dc.identifier.uri	http://elar.urfu.ru/handle/10995/50959	-
dc.description.abstract	We show that many important varieties and sets of varieties of semigroups may be defined by relatively simple and transparent first-order formulas in the lattice of all semigroup varieties. © 2012 Springer Science+Business Media, LLC.	en
dc.format.mimetype	application/pdf	en
dc.language.iso	en	en
dc.rights	info:eu-repo/semantics/restrictedAccess	en
dc.source	Semigroup Forum	en
dc.subject	DEFINABLE SET OF VARIETIES	en
dc.subject	FIRST-ORDER FORMULA	en
dc.subject	LATTICE OF VARIETIES	en
dc.subject	SEMIGROUP	en
dc.subject	VARIETY	en
dc.title	Proofs of definability of some varieties and sets of varieties of semigroups	en
dc.type	Article	en
dc.type	info:eu-repo/semantics/publishedVersion	en
dc.type	info:eu-repo/semantics/article	en
dc.identifier.doi	10.1007/s00233-012-9377-3	-
dc.identifier.scopus	84858747565	-
local.contributor.employee	Верников Борис Муневич	ru
local.description.firstpage	374	-
local.description.lastpage	392	-
local.issue	2	-
local.volume	84	-
dc.identifier.wos	000306589800013	-
local.contributor.department	Институт естественных наук и математики	ru
local.identifier.pure	1085070	-
local.identifier.eid	2-s2.0-84858747565	-
local.identifier.wos	WOS:000306589800013	-
Располагается в коллекциях:	Научные публикации ученых УрФУ, проиндексированные в SCOPUS и WoS CC

Файлы этого ресурса:

Файл	Описание	Размер	Формат
10.1007s00233-012-9377-3_2012.pdf		639,77 kB	Adobe PDF	Просмотреть/Открыть

Показать базовое описание ресурса Статистика

Все ресурсы в архиве электронных ресурсов защищены авторским правом, все права сохранены.