2 search results - page 1 / 1 » Undecidability in the Homomorphic Quasiorder of Finite Label... |
CIE
2006
Springer
13 years 10 months ago
2006
Springer
Abstract. We prove that the homomorphic quasiorder of finite k-labeled forests has undecidable elementary theory for k 3, in contrast to the known decidability result for k = 2. W...
CIE
2007
Springer
13 years 10 months ago
2007
Springer
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 allowe...