Точечный класс
- Pointclass — это совокупность множеств точек в совершенном поляризованном пространстве.
- Pointclass обычно характеризуется каким-либо свойством определяемости.
- Точечные классы находят применение в формулировании принципов и теорем из теории множеств и реального анализа.
- Строгие теоретико-множественные принципы могут быть сформулированы в терминах детерминированности точечных классов.
- Базовая структура: специалисты по теории описательных множеств работают в фиксированном пространстве поля.
- Яннис Мошовакис определяет производственное пространство как конечное декартово произведение базовых пространств.
- Pointclass — это замкнутое вниз объединение степеней выпуклости.
- Классы точек светлой поверхности имеют аналоги в эффективной дескриптивной теории множеств.
Полный текст статьи: