TY - JOUR

T1 - The quotient algebra of labeled forests modulo h-equivalence

AU - Selivanov, V. L.

PY - 2007/3/1

Y1 - 2007/3/1

N2 - We introduce and study some natural operations on a structure of finite labeled forests, which is crucial in extending the difference hierarchy to the case of partitions. It is shown that the corresponding quotient algebra modulo the so-called h-equivalence is the simplest non-trivial semilattice with discrete closures. The algebra is also characterized as a free algebra in some quasivariety. Part of the results is generalized to countable labeled forests with finite chains. © Springer Science+Business Media, Inc. 2007.

AB - We introduce and study some natural operations on a structure of finite labeled forests, which is crucial in extending the difference hierarchy to the case of partitions. It is shown that the corresponding quotient algebra modulo the so-called h-equivalence is the simplest non-trivial semilattice with discrete closures. The algebra is also characterized as a free algebra in some quasivariety. Part of the results is generalized to countable labeled forests with finite chains. © Springer Science+Business Media, Inc. 2007.

KW - Difference hierarchy

KW - Labeled forest

KW - Partition

UR - http://www.scopus.com/inward/record.url?scp=34248330973&partnerID=8YFLogxK

U2 - 10.1007/s10469-007-0011-5

DO - 10.1007/s10469-007-0011-5

M3 - Article

AN - SCOPUS:34248330973

VL - 46

SP - 120

EP - 133

JO - Algebra and Logic

JF - Algebra and Logic

SN - 0002-5232

IS - 2

ER -