PL EN


Preferencje help
Widoczny [Schowaj] Abstrakt
Liczba wyników
2006 | 191 | 2 | 175-185
Tytuł artykułu

Quasi-bounded trees and analytic inductions

Treść / Zawartość
Warianty tytułu
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.
Słowa kluczowe
Twórcy
  • Analyse Fonctionnelle, Institut de Mathématique de Jussieu, Boîte 186, 4, place Jussieu, 75252 Paris Cedex 05, France
Bibliografia
Typ dokumentu
Bibliografia
Identyfikatory
Identyfikator YADDA
bwmeta1.element.bwnjournal-article-doi-10_4064-fm191-2-4
JavaScript jest wyłączony w Twojej przeglądarce internetowej. Włącz go, a następnie odśwież stronę, aby móc w pełni z niej korzystać.