Quasi-bounded trees and analytic inductions

• Autorzy: Jean Saint Raymond
• Języki publikacji: EN

Abstrakty

EN

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.

Kategorie tematyczne

• 54H05: Descriptive set theory (topological aspects of Borel, analytic, projective, etc. sets)
• 03E15: Descriptive set theory

• Wydawca: Institute of Mathematics Polish Academy of Sciences
• Czasopismo: Fundamenta Mathematicae
• Rocznik: 2006
• Tom: 191
• Numer: 2
• Strony: 175-185

Daty

wydano

2006

Twórcy

autor

Jean Saint Raymond

• Analyse Fonctionnelle, Institut de Mathématique de Jussieu, Boîte 186, 4, place Jussieu, 75252 Paris Cedex 05, France

Identyfikatory

DOI

10.4064/fm191-2-4