Definability in the Homomorphic Quasiorder of Finite Labeled Forests

Abstract. We prove that for any k 3 each element of the homomorphic quasiorder of finite k-labeled forests is definable, provided that the minimal non-smallest elements are allowed as parameters. As corollaries, we show that the structure is atomic and characterize the automorphism group of the structure. Similar results hold true for two other relevant structures: the homomorphic quasiorder of finite k-labeled trees, and of finite k-labeled trees with a fixed label of the root element. Keywords. Labeled tree, forest, homomorphic quasiorder, definability, atomic structure, automorphism.

• Type: Conference
• Year: 2007
• Where: CIE
• Authors: Oleg V. Kudinov, Victor L. Selivanov
• Keywords: Applied Computing, CIE 2007, Finite K-labeled Forests, Finite K-labeled Trees, Homomorphic Quasiorder