Поддержка (математика)
Поддержка (математика) Определение поддержки функции Поддержка функции f: X → R — это множество точек, где f не равна нулю. […]
Вики
Set theory
Вики
Стационарный набор
Стационарный набор Определение и свойства стационарных множеств Стационарное множество – это множество, которое не изменяется при добавлении элементов. Стационарные множества
Вики
Модель Соловая
Модель Соловея Теорема Соловея о множестве Соловей показал, что аксиома выбора необходима для доказательства существования неизмеримого множества в теории множеств
Вики
Корестрикция
Основное ограничение Определение ограничения функции Ограничение функции изменяет кодомен на подмножество. Префикс “co-” указывает на противоположность ограничения функции. Ограничение и
Вики
Наследственный набор
Наследственный набор Определение наследственного множества Наследственное множество состоит из множеств, которые сами являются множествами. Примеры наследственных множеств включают пустое множество
Вики
Кабал (теория множеств)
Заговор (теория множеств) Организация и деятельность группы “Клика” Группа “Клика” была сообществом теоретиков множеств в Южной Калифорнии. Точные сведения о
Вики
S (теория множеств)
S (теория множеств) Обзор теории множеств Булоса Теория множеств Булоса (S) – это итеративная система множеств, которая не включает аксиому
Вики
Теория квазимножеств
Теория квазимножеств Основы теории квазимножеств Теория квазимножеств была предложена Децио Краузе в 1969 году. Она основана на идее, что объекты
Вики
Вычислимый порядковый номер
Вычислимый порядковый номер Определение вычислимых ординалов Вычислимый ординал α называется рекурсивным, если существует упорядоченное подмножество натуральных чисел с типом order
Вики
Предикат BIT
БИТОВЫЙ предикат Определение и использование битового предиката Битовый предикат – это функция, которая возвращает истину, если заданное число делится на
Вики
Наследственно конечное множество
Наследственно конечное множество Определение наследственно конечного множества Множество, которое не содержит бесконечных подмножеств, называется наследственно конечным. Множество, содержащее только конечные
Вики
Порядковое определимое множество
Определяемый по порядку набор Определение и характеристики множеств Множество S называется определяемым по порядку, если его можно определить через конечное
Вики
S (теория множеств)
S (теория множеств) Обзор теории множеств Булоса Теория множеств Булоса (S) – это итеративная система множеств, которая не включает аксиому
Вики
Предельный кардинал
Предел кардинальный Определение кардиналов Кардиналы – это числа, которые представляют мощность множеств. Существует множество различных типов кардиналов, включая кардинальные числа
Вики
Униформизация (теория множеств)
Униформизация (теория множеств) Аксиома униформизации в теории множеств Аксиома униформизации – это слабая форма аксиомы выбора, которая утверждает, что для
Вики
Число Хартогса
Количество хартогов Определение и свойства числа Хартогса Число Хартогса – это наименьший порядковый номер α, такой что нет перехода из
Вики
Булево дифференциальное исчисление
Булево дифференциальное исчисление Основы булева дифференциального исчисления Булево дифференциальное исчисление (BDC) – это область булевой алгебры, изучающая изменения булевых переменных
Вики
Наследственный набор
Наследственный набор Определение наследственного множества Наследственное множество состоит из множеств, которые сами являются множествами. Примеры наследственных множеств включают пустое множество
Вики
Первая статья Кантора по теории множеств
Первая статья Кантора по теории множеств Канторовская бесконечность Кантор доказал, что множество действительных чисел не может быть представлено в виде
Вики
Кумулятивная иерархия
Совокупная иерархия Определение совокупной иерархии Совокупная иерархия – семейство множеств, индексированных по порядковым номерам, с определенными свойствами. Предельный порядковый номер
Вики
Теорема Диаконеску
Теорема Дьяконеску Основы конструктивного анализа Конструктивный анализ – это математическая теория, которая использует конструктивные методы для доказательства теорем. Конструктивные методы