Topological aspects of Hurewicz tests for the difference hierarchy
We generalize the Baire Category Theorem to the Borel and difference hierarchies, i.e. if Г is any of the classes Σξ⁰, Пξ⁰, Dη(Σξ⁰) or Ďη(Σξ⁰) we find a representative set Pг ∊ Г and a Polish topology τг such that for every A ∊ Ѓ from some assumption on the size of A ∩ Pг we can deduce that A\ Pг is...
Збережено в:
| Дата: | 2006 |
|---|---|
| Автор: | |
| Формат: | Стаття |
| Мова: | English |
| Опубліковано: |
Інститут прикладної математики і механіки НАН України
2006
|
| Назва видання: | Український математичний вісник |
| Онлайн доступ: | http://dspace.nbuv.gov.ua/handle/123456789/124566 |
| Теги: |
Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!
|
| Назва журналу: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Цитувати: | Topological aspects of Hurewicz tests for the difference hierarchy / T. Matrai // Український математичний вісник. — 2006. — Т. 3, № 4. — С. 520-546. — Бібліогр.: 6 назв. — англ. |
Репозитарії
Digital Library of Periodicals of National Academy of Sciences of Ukraine| Резюме: | We generalize the Baire Category Theorem to the Borel and difference hierarchies, i.e. if Г is any of the classes Σξ⁰, Пξ⁰, Dη(Σξ⁰) or Ďη(Σξ⁰) we find a representative set Pг ∊ Г and a Polish topology τг such that for every A ∊ Ѓ from some assumption on the size of A ∩ Pг we can deduce that A\ Pг is of second category in the topology τг. This allows us to distinguish the levels of the Borel and difference hierarchies via Baire category. We also present some typical Baire Category Theorem-like applications of the results. |
|---|