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