Описательная теория множеств
- Описательная теория множеств изучает свойства множеств и их отношения.
- Иерархия Бореля и проективная иерархия являются важными понятиями в описательной теории множеств.
- Свойства проективных множеств не полностью определяются ZFC.
- В предположении проективной детерминированности, все проективные множества обладают свойствами совершенного множества и Бэра.
- Существуют общие расширения L для любого натурального числа n>2, в которых P(ω)∩L состоит из всего светлого лица Δn1 подмножества ω.
- Область эффективной дескриптивной теории множеств объединяет методы дескриптивной теории множеств с методами обобщенной теории рекурсии.
Полный текст статьи: