Quasi-bounded trees and analytic inductions

Jean Saint Raymond. "Quasi-bounded trees and analytic inductions." Fundamenta Mathematicae 191.2 (2006): 175-185. <http://eudml.org/doc/282633>.

@article{JeanSaintRaymond2006,
abstract = {A tree T on ω is said to be cofinal if for every $α ∈ ω^\{ω\}$ there is some branch β of T such that α ≤ β, and quasi-bounded otherwise. We prove that the set of quasi-bounded trees is a complete Σ¹₁-inductive set. In particular, it is neither analytic nor co-analytic.},
author = {Jean Saint Raymond},
journal = {Fundamenta Mathematicae},
keywords = {dominating trees; induction; Borel games},
language = {eng},
number = {2},
pages = {175-185},
title = {Quasi-bounded trees and analytic inductions},
url = {http://eudml.org/doc/282633},
volume = {191},
year = {2006},
}

TY - JOUR
AU - Jean Saint Raymond
TI - Quasi-bounded trees and analytic inductions
JO - Fundamenta Mathematicae
PY - 2006
VL - 191
IS - 2
SP - 175
EP - 185
AB - A tree T on ω is said to be cofinal if for every $α ∈ ω^{ω}$ there is some branch β of T such that α ≤ β, and quasi-bounded otherwise. We prove that the set of quasi-bounded trees is a complete Σ¹₁-inductive set. In particular, it is neither analytic nor co-analytic.
LA - eng
KW - dominating trees; induction; Borel games
UR - http://eudml.org/doc/282633
ER -