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