Код ББК В12
В12
Основания математики. Математическая логика
Основания арифметики, алгебры и анализа.
Основания геометрии см. В151.1
Основания теории вероятностей см. В171.1
Теория статистических решений см. В172.4
Основания математической логики см. Ю45
Уточняющие коды
Запись в классификаторе ББК полные таблицы с кодом В12 содержит 6 уточняющих (дочерних) элементов
Теория доказательств и конструктивная математика
Программы обоснования математики: формализм, интуиционизм, логицизм. Абстракции в математике. Логико-математические теории: формальная арифметика и др. Исследование логико-математических теорий: доказательство их непротиворечивости, разрешимости, теорема Геделя о неполноте. Метаматематика. Конструктивная и интуиционистская математика.
Теория моделей
Булевозначные, конструктивные и другие теории моделей. Сложность классов моделей.
Алгебраическая логика
Булевы функции. Алгебра отношений и др.
Булевы кольца и алгебры см. В144.4
Топосы см. В144.6
Алгебра логики см. Ю458.1
Теория множеств
Канторовская теория множеств. Аксиоматическая теория множеств: аксиоматизация анализа, проблемы непротиворечивости и независимости, аксиома выбора, континуум-гипотеза. Теория порядковых типов, ординальных и кардинальных чисел. Дескриптивная теория множеств. Расширения теории множеств: нечеткие множества, мультимножества и др.
Алгоритмическая теория множеств см. В127
Частично упорядоченные множества см. В144.4
Дескриптивная теория множеств топологических пространств см. В152.17
Функции множеств см. В161.542
Теория алгоритмов и вычислимых (рекурсивных) функций. Конструктивный анализ
Машины Тьюринга, Поста, нормальные алгоритмы Маркова и др. Сложность алгоритмов: временная и пространственная сложности, классы сложности (классы Р и NР). Алгоритмическая (колмогоровская) сложность. Алгоритмическая теория множеств. Теория иерархий и нумераций. Алгоритмическая теория исчислений: исчисление комбинаторов, лямбда-исчисление и др. Алгоритмически неразрешимые проблемы: проблема остановки и др.
Конструктивная математика см. В122
Алгоритмически неразрешимые проблемы в теории групп и полугрупп см. В144.1
Общие алгебраические системы
Структура общих алгебраических систем и систем отношений. Свободные суммы, произведения, пределы, копределы. Многообразия алгебр и их обобщения: квазимногообразия, решетки многообразий и др.
Алгебра отношений см. В124
Универсальные и свободные алгебры см. В144.5
Вышестоящие объекты
Схема иерархии в классификаторе ББК полные таблицы для кода В12
Полные таблицы
ЕСТЕСТВЕННЫЕ НАУКИ
Физико-математические науки
Математика
Полная расшифровка кода: Код ББК В12. Онлайн-классификатор ББК, Полные таблицы, ЕСТЕСТВЕННЫЕ НАУКИ, Физико-математические науки, Математика, Основания математики. Математическая логика.