Арифметическая иерархия
Арифметическая иерархия Арифметическая иерархия Классифицирует множества на основе сложности формул, их определяющих Изобретена Клини и Мостовски независимо Важна в теории […]
Вики
Effective descriptive set theory
Вики
Арифметическое множество
Арифметический набор Определение арифметических множеств Арифметическое множество — это множество натуральных чисел, которое может быть описано арифметической формулой. Арифметические множества
Вики
Аналитическая иерархия
Аналитическая иерархия Определение аналитической иерархии Аналитическая иерархия — это система классификации множеств, основанная на их выразимости в арифметике второго порядка.
Вики
Арифметическая иерархия
Арифметическая иерархия Определение арифметической иерархии Арифметическая иерархия — это множество множеств, упорядоченных по сложности определения. Множество X является арифметическим, если
Вики
Эффективная описательная теория множеств
Эффективная описательная теория множеств Эффективная дескриптивная теория множеств — раздел дескриптивной теории множеств, изучающий множества вещественных чисел с легкими определениями.
Вики
Арифметическое множество
Арифметический набор Арифметическое множество определяется формулой первого порядка на языке арифметики Пеано. Множество простых чисел и рекурсивно перечислимые множества являются