Пожалуйста, используйте этот идентификатор, чтобы цитировать или ссылаться на этот ресурс: http://elar.urfu.ru/handle/10995/50959
Название: Proofs of definability of some varieties and sets of varieties of semigroups
Авторы: Vernikov, B. M.
Дата публикации: 2012
Библиографическое описание: 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.
Аннотация: 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.
Ключевые слова: DEFINABLE SET OF VARIETIES
FIRST-ORDER FORMULA
LATTICE OF VARIETIES
SEMIGROUP
VARIETY
URI: http://elar.urfu.ru/handle/10995/50959
Условия доступа: info:eu-repo/semantics/restrictedAccess
Идентификатор SCOPUS: 84858747565
Идентификатор WOS: 000306589800013
Идентификатор PURE: 1085070
ISSN: 0037-1912
DOI: 10.1007/s00233-012-9377-3
Располагается в коллекциях:Научные публикации, проиндексированные в SCOPUS и WoS CC

Файлы этого ресурса:
Файл Описание РазмерФормат 
10.1007s00233-012-9377-3_2012.pdf639,77 kBAdobe PDFПросмотреть/Открыть


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