ISSN: 2310-757X
Please use this identifier to cite or link to this item:
https://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.