Geodesic
Definability of closure operations in the $h$-quasiorder of labeled forests
Algebra i logika, Tome 49 (2010) no. 2, pp. 181-194

Voir la notice de l'article provenant de la source Math-Net.Ru

We prove that natural closure operations on quotient structures of the $h$-quasiorder of finite and (at most) countable $k$-labeled forests ($k\ge3$) are definable provided that minimal nonsmallest elements are allowed as parameters. This strengthens our previous result which holds that each element of the $h$-quasiorder of finite $k$-labeled forests is definable in the first-order language, and each element of the $h$-quasiorder of (at most) countable $k$-labeled forests is definable in the language $L_{\omega_1\omega}$; in both cases $k\ge3$ and minimal nonsmallest elements are allowed as parameters. Similar results hold true for two other relevant structures: the $h$-quasiorder of finite (resp. countable) $k$-labeled trees and $k$-labeled trees with a fixed label on the root element.
Keywords: labeled forest, labeled tree, definability, closure operation.
Mots-clés : $h$-quasiorder 
@article{AL_2010_49_2_a2,
     author = {A. V. Zhukov and O. V. Kudinov and V. L. Selivanov},
     title = {Definability of closure operations in the $h$-quasiorder of labeled forests},
     journal = {Algebra i logika},
     pages = {181--194},
     publisher = {mathdoc},
     volume = {49},
     number = {2},
     year = {2010},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/AL_2010_49_2_a2/}
}
TY  - JOUR
AU  - A. V. Zhukov
AU  - O. V. Kudinov
AU  - V. L. Selivanov
TI  - Definability of closure operations in the $h$-quasiorder of labeled forests
JO  - Algebra i logika
PY  - 2010
SP  - 181
EP  - 194
VL  - 49
IS  - 2
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/AL_2010_49_2_a2/
LA  - ru
ID  - AL_2010_49_2_a2
ER  - 
%0 Journal Article
%A A. V. Zhukov
%A O. V. Kudinov
%A V. L. Selivanov
%T Definability of closure operations in the $h$-quasiorder of labeled forests
%J Algebra i logika
%D 2010
%P 181-194
%V 49
%N 2
%I mathdoc
%U http://geodesic.mathdoc.fr/item/AL_2010_49_2_a2/
%G ru
%F AL_2010_49_2_a2
A. V. Zhukov; O. V. Kudinov; V. L. Selivanov. Definability of closure operations in the $h$-quasiorder of labeled forests. Algebra i logika, Tome 49 (2010) no. 2, pp. 181-194. http://geodesic.mathdoc.fr/item/AL_2010_49_2_a2/