Эффективная описательная теория множеств
- Эффективная дескриптивная теория множеств – раздел дескриптивной теории множеств, изучающий множества вещественных чисел с легкими определениями.
- Эффективная дескриптивная теория множеств объединяет дескриптивную теорию множеств и теорию рекурсии.
- Эффективное пространство для полировки – полное разделяемое метрическое пространство с вычислимым представлением.
- Арифметическая иерархия классифицирует наборы на основе сложности формул, определяющих их.
- Арифметическая иерархия присваивает классификации на языке арифметики первого порядка.
- Классификации Σ
- n
- 0
- {\displaystyle \Sigma _{n}^{0}}
- и Π
- {\displaystyle \Pi _{n}^{0}}
- определяются индуктивно для натуральных чисел n.
Полный текст статьи: