The quotient algebra of labeled forests modulo h -equivalence

• Autores: Victor L. Selivanov
• Localización: Algebra and logic, ISSN 0002-5232, Vol. 46, Nº. 2, 2007, págs. 120-133
• Idioma: inglés
• DOI: 10.1007/s10469-007-0011-5
• Texto completo no disponible (Saber más ...)
• Resumen

  • 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.