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