RUS  ENG ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB
Общая информация
Последний выпуск
Архив
Импакт-фактор
Правила для авторов
Историческая справка

Поиск публикаций
Поиск ссылок

RSS
Последний выпуск
Текущие выпуски
Архивные выпуски
Что такое RSS



Фундамент. и прикл. матем.:
Год:
Том:
Выпуск:
Страница:
Найти






Персональный вход:
Логин:
Пароль:
Запомнить пароль
Войти
Забыли пароль?
Регистрация


Фундамент. и прикл. матем., 1999, том 5, выпуск 2, страницы 417–435 (Mi fpm398)  

Двусортная теория классов и множеств, допускающая множества высказывательных формул

В. К. Захаров, А. В. Михалёв

Московский государственный университет им. М. В. Ломоносова

Аннотация: Кризис, возникший в наивной теории множеств в начале 20 века, привёл к возникновению таких строгих аксиоматических теорий, как теория множеств Цермело–Френкеля (ZF) и теория классов и множеств Неймана–Бернайса–Гёделя (NBG). Однако в то время как наивная теория множеств допускала рассмотрение множеств любых объектов, такое естественное понятие, как множество высказывательных формул, оказалось недопустимым в ZF и NBG. В связи с этим были развиты методы ассоциированного допущения, наиболее известным из которых является метод нумераций Гёделя. Данная статья посвящена решению задачи полноправного допущения. В ней излагается аксиоматика двусортной теории классов и множеств, позволяющей рассматривать множества высказывательных формул наравне с множествами объектных элементов.

Ключевые слова: класс, множество, высказывательная формула, множество высказывательных формул, аксиомы двусортной теории, логическая категория

Полный текст: PDF файл (964 kB)

Реферативные базы данных:
УДК: 510.2+510.223+512.581
Поступила в редакцию: 01.03.1999

Образец цитирования: В. К. Захаров, А. В. Михалёв, “Двусортная теория классов и множеств, допускающая множества высказывательных формул”, Фундамент. и прикл. матем., 5:2 (1999), 417–435

Цитирование в формате AMSBIB
\RBibitem{ZakMik99}
\by В.~К.~Захаров, А.~В.~Михалёв
\paper Двусортная теория классов и множеств, допускающая множества высказывательных формул
\jour Фундамент. и прикл. матем.
\yr 1999
\vol 5
\issue 2
\pages 417--435
\mathnet{http://mi.mathnet.ru/fpm398}
\mathscinet{http://www.ams.org/mathscinet-getitem?mr=1803592}
\zmath{https://zbmath.org/?q=an:0959.03035}


Образцы ссылок на эту страницу:
  • http://mi.mathnet.ru/fpm398
  • http://mi.mathnet.ru/rus/fpm/v5/i2/p417

    ОТПРАВИТЬ: VKontakte.ru FaceBook Twitter Mail.ru Livejournal Memori.ru


    Citing articles on Google Scholar: Russian citations, English citations
    Related articles on Google Scholar: Russian articles, English articles
  • Фундаментальная и прикладная математика
    Просмотров:
    Эта страница:353
    Полный текст:94
    Первая стр.:2
     
    Обратная связь:
     Пользовательское соглашение  Регистрация  Логотипы © Математический институт им. В. А. Стеклова РАН, 2020