Please use this identifier to cite or link to this item:
https://open.uns.ac.rs/handle/123456789/7829
Title: | Optimal strong Mal'cev conditions for omitting type 1 in locally finite varieties | Authors: | Kearnes K. Marković, Petar McKenzie R. |
Issue Date: | 1-Jan-2014 | Journal: | Algebra Universalis | Abstract: | We show that the class of locally finite varieties omitting type 1 has the following properties. This class is:(1)definable by an idempotent, linear, strong Mal'cev condition in a language with one 4-ary function symbol; (2) not definable by an idempotent, linear, strong Mal'cev condition in a language with only one function symbol of arity strictly less than 4; (3) definable by an idempotent, linear, strong Mal'cev condition in a language with two 3-ary function symbols; (4) not definable by an idempotent, linear, strong Mal'cev condition in a language with function symbols of arity less than 4 unless at least two of the symbols have arity 3. © 2014 Springer Basel. | URI: | https://open.uns.ac.rs/handle/123456789/7829 | ISSN: | 00025240 | DOI: | 10.1007/s00012-014-0289-9 |
Appears in Collections: | PMF Publikacije/Publications |
Show full item record
SCOPUSTM
Citations
29
checked on May 3, 2024
Page view(s)
17
Last Week
5
5
Last month
0
0
checked on May 10, 2024
Google ScholarTM
Check
Altmetric
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.