Please use this identifier to cite or link to this item:
http://elar.urfu.ru/handle/10995/50959
Title: | Proofs of definability of some varieties and sets of varieties of semigroups |
Authors: | Vernikov, B. M. |
Issue Date: | 2012 |
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. |
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. |
Keywords: | DEFINABLE SET OF VARIETIES FIRST-ORDER FORMULA LATTICE OF VARIETIES SEMIGROUP VARIETY |
URI: | http://elar.urfu.ru/handle/10995/50959 |
Access: | info:eu-repo/semantics/restrictedAccess |
SCOPUS ID: | 84858747565 |
WOS ID: | 000306589800013 |
PURE ID: | 1085070 |
ISSN: | 0037-1912 |
DOI: | 10.1007/s00233-012-9377-3 |
Appears in Collections: | Научные публикации ученых УрФУ, проиндексированные в SCOPUS и WoS CC |
Files in This Item:
File | Description | Size | Format | |
---|---|---|---|---|
10.1007s00233-012-9377-3_2012.pdf | 639,77 kB | Adobe PDF | View/Open |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.