Пожалуйста, используйте этот идентификатор, чтобы цитировать или ссылаться на этот ресурс:
https://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.pdf | 639,77 kB | Adobe PDF | Просмотреть/Открыть |
Все ресурсы в архиве электронных ресурсов защищены авторским правом, все права сохранены.