PL EN


Preferencje help
Widoczny [Schowaj] Abstrakt
Liczba wyników
1991-1992 | 140 | 2 | 183-189
Tytuł artykułu

Definable hereditary families in the projective hierarchy

Treść / Zawartość
Warianty tytułu
Języki publikacji
EN
Abstrakty
EN
We show that if ℱ is a hereditary family of subsets of $ω^ω$ satisfying certain definable conditions, then the $Δ_1^1$ reals are precisely the reals α such that ${β:α ∈ Δ_1^1(β)} ∉ ∈ ℱ$. This generalizes the results for measure and category. Appropriate generalization to the higher levels of the projective hierarchy is obtained under Projective Determinacy. Application of this result to the $Q_{2n+1}$-encodable reals is also shown.
Słowa kluczowe
Rocznik
Tom
140
Numer
2
Strony
183-189
Opis fizyczny
Daty
wydano
1992
otrzymano
1991-06-17
Twórcy
autor
  • Stat-Math Division, Indian Statistical Institute, 203 B.T. Road, Calcutta 700035, India
  • Stat-Math Division, Indian Statistical Institute, 203 B.T. Road, Calcutta 700035, India
Bibliografia
  • [1] A. S. Kechris, Measure and category in effective descriptive set theory, Ann. Math. Logic 5 (1973), 337-384.
  • [2] A. S. Kechris, The theory of countable analytical sets, Trans. Amer. Math. Soc. 202 (1975), 259-267.
  • [3] A. S. Kechris, Effective Ramsey theorems in the projective hierarchy, in: Proceedings of the Herbrand Symposium, J. Stern (ed.), North-Holland, Amsterdam 1982.
  • [4] A. S. Kechris, D. A. Martin and R. M. Solovay, Introduction to Q-theory, in: Cabal Seminar 79-81 (Proceedings, Caltech-UCLA Logic Seminar, 1979-81), Lecture Notes in Math. 1019, Springer, 1983, 199-281.
  • [5] Y. N. Moschovakis, Descriptive Set Theory, North-Holland, Amsterdam 1980.
  • [6] L. Piątkiewicz, A remark about separation of K-analytic sets in the product spaces, Proc. Amer. Math. Soc. 93 (1985), 363-366.
  • [7] R. M. Solovay, Hyperarithmetically encodable sets, Trans. Amer. Math. Soc. 239 (1978), 99-122.
Typ dokumentu
Bibliografia
Identyfikatory
Identyfikator YADDA
bwmeta1.element.bwnjournal-article-fmv140i2p183bwm
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ć.