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

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

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



Изв. РАН. Сер. матем.:
Год:
Том:
Выпуск:
Страница:
Найти






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


Изв. РАН. Сер. матем., статья будет опубликована в одном из ближайших номеров (Mi izv8937)  

Эта публикация цитируется в 1 научной статье (всего в 1 статье)

Модели теории множеств, в которых теорема отделимости неверна

В. Г. Кановей*, В. А. Любецкий

Институт проблем передачи информации им. А.А. Харкевича Российской академии наук, г. Москва

Аннотация: Мы используем произведение минимальных форсингов по Йенсену, с конечной поддержкой, для построения модели теории множеств, в которой теорема отделимости нарушается для проективных классов $\mathbf\Sigma^1_n$ и $\mathbf\Pi^1_n$, для данного $n\ge3$.

Ключевые слова: модель, теорема отделимости, форсинг

Финансовая поддержка Номер гранта
Российский фонд фундаментальных исследований 17-01-00705
18-29-13037

* Автор для корреспонденции


Англоязычная версия:
DOI: https://doi.org/10.1070/IM8937

MSC: MSC 03E15, 03E35
Поступило в редакцию: 28.05.2019
Исправленный вариант: 21.07.2020

Образцы ссылок на эту страницу:
  • http://mi.mathnet.ru/izv8937

    ОТПРАВИТЬ: 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

    Эта публикация цитируется в следующих статьяx:
    1. Kanovei V., Lyubetsky V., “On the ‘Definability of Definable’ Problem of Alfred Tarski”, Mathematics, 8:12 (2020), 2214  crossref  isi
  • Известия Российской академии наук. Серия математическая Izvestiya: Mathematics
    Просмотров:
    Эта страница:25
     
    Обратная связь:
     Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2021