Standard

Definability in the h-quasiorder of labeled forests. / Kudinov, Oleg V.; Selivanov, Victor L.; Zhukov, Anton V.

в: Annals of Pure and Applied Logic, Том 159, № 3, 01.06.2009, стр. 318-332.

Результаты исследований: Научные публикации в периодических изданиях › статья › Рецензирование

Harvard

Kudinov, OV, Selivanov, VL & Zhukov, AV 2009, 'Definability in the h-quasiorder of labeled forests', Annals of Pure and Applied Logic, Том. 159, № 3, стр. 318-332. https://doi.org/10.1016/j.apal.2008.09.026

APA

Kudinov, O. V., Selivanov, V. L., & Zhukov, A. V. (2009). Definability in the h-quasiorder of labeled forests. Annals of Pure and Applied Logic, 159(3), 318-332. https://doi.org/10.1016/j.apal.2008.09.026

Vancouver

Kudinov OV, Selivanov VL, Zhukov AV. Definability in the h-quasiorder of labeled forests. Annals of Pure and Applied Logic. 2009 Июнь 1;159(3):318-332. https://doi.org/10.1016/j.apal.2008.09.026

Author

Kudinov, Oleg V. ; Selivanov, Victor L. ; Zhukov, Anton V. / Definability in the h-quasiorder of labeled forests. в: Annals of Pure and Applied Logic. 2009 ; Том 159, № 3. стр. 318-332.

BibTeX

@article{7da4b2ee8f454628b2ffb0515ed402ed,
title = "Definability in the h-quasiorder of labeled forests",
abstract = "We prove that for any k ≥ 3 each element of the h-quasiorder of finite k-labeled forests is definable in the ordinary first order language and, respectively, each element of the h-quasiorder of (at most) countable k-labeled forests is definable in the language Lω1 ω, in both cases provided that the minimal non-smallest elements are allowed as parameters. As corollaries, we characterize the automorphism groups of both structures and show that the structure of finite k-forests is atomic. Similar results hold true for two other relevant structures: the h-quasiorder of finite (resp. countable) k-labeled trees and of finite (resp. countable) k-labeled trees with a fixed label of the root element. {\textcopyright} 2008 Elsevier B.V. All rights reserved.",
keywords = "Atomic structure, Automorphism, Definability, h-quasiorder, Labeled forest, Labeled tree",
author = "Kudinov, {Oleg V.} and Selivanov, {Victor L.} and Zhukov, {Anton V.}",
year = "2009",
month = jun,
day = "1",
doi = "10.1016/j.apal.2008.09.026",
language = "English",
volume = "159",
pages = "318--332",
journal = "Annals of Pure and Applied Logic",
issn = "0168-0072",
publisher = "Elsevier",
number = "3",

}

RIS

TY - JOUR

T1 - Definability in the h-quasiorder of labeled forests

AU - Kudinov, Oleg V.

AU - Selivanov, Victor L.

AU - Zhukov, Anton V.

PY - 2009/6/1

Y1 - 2009/6/1

N2 - We prove that for any k ≥ 3 each element of the h-quasiorder of finite k-labeled forests is definable in the ordinary first order language and, respectively, each element of the h-quasiorder of (at most) countable k-labeled forests is definable in the language Lω1 ω, in both cases provided that the minimal non-smallest elements are allowed as parameters. As corollaries, we characterize the automorphism groups of both structures and show that the structure of finite k-forests is atomic. Similar results hold true for two other relevant structures: the h-quasiorder of finite (resp. countable) k-labeled trees and of finite (resp. countable) k-labeled trees with a fixed label of the root element. © 2008 Elsevier B.V. All rights reserved.

AB - We prove that for any k ≥ 3 each element of the h-quasiorder of finite k-labeled forests is definable in the ordinary first order language and, respectively, each element of the h-quasiorder of (at most) countable k-labeled forests is definable in the language Lω1 ω, in both cases provided that the minimal non-smallest elements are allowed as parameters. As corollaries, we characterize the automorphism groups of both structures and show that the structure of finite k-forests is atomic. Similar results hold true for two other relevant structures: the h-quasiorder of finite (resp. countable) k-labeled trees and of finite (resp. countable) k-labeled trees with a fixed label of the root element. © 2008 Elsevier B.V. All rights reserved.

KW - Atomic structure

KW - Automorphism

KW - Definability

KW - h-quasiorder

KW - Labeled forest

KW - Labeled tree

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

U2 - 10.1016/j.apal.2008.09.026

DO - 10.1016/j.apal.2008.09.026

M3 - Article

AN - SCOPUS:65049088200

VL - 159

SP - 318

EP - 332

JO - Annals of Pure and Applied Logic

JF - Annals of Pure and Applied Logic

SN - 0168-0072

IS - 3

ER -

ID: 127087044