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

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

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



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






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


Изв. АН СССР. Сер. матем., 1978, том 42, выпуск 3, страницы 550–579 (Mi izv1779)  

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

О непустоте классов в аксиоматической теории множеств

В. Г. Кановей


Аннотация: Доказываются теоремы о совместимости с $ZF$ каждого из следующих трех предложений при $n\geqslant2$: (1) существует $L$-минимальное (в частности, неконструктивное) $a\subseteq\omega$ такое, что $V=L[a]$ и $\{a\}\in\Pi_n^1$, но всякое $b\subseteq\omega$ класса $\Sigma_n^1$ с конструктивным кодом само конструктивно; (2) существуют $a,b\subseteq\omega$ такие, что их $L$-степени различимы формулой из $\Pi_n^1$, но не различимы формулами из $\Sigma_n^1$ с константами из $L$ ($X,Y$ называются различимыми формулой $\varphi(x)$, если $\sim[(\exists x\in X)\varphi(x)\equiv(\exists y\in Y)\varphi(y)])$; (3) существует бесконечное, но конечное по Дедекинду множество $X\in\mathscr P(\omega)$ класса $\Pi_n^1$, но нет таких множеств класса $\underline\Sigma_n^1$. Доказательство использует метод вынуждения Коэна.
Библиография: 17 названий.

Полный текст: PDF файл (3409 kB)
Список литературы: PDF файл   HTML файл

Англоязычная версия:
Mathematics of the USSR-Izvestiya, 1978, 12:3, 507–535

Реферативные базы данных:

УДК: 51.01.16
MSC: Primary 03E30; Secondary 03E35
Поступило в редакцию: 06.10.1975
Исправленный вариант: 22.02.1977

Образец цитирования: В. Г. Кановей, “О непустоте классов в аксиоматической теории множеств”, Изв. АН СССР. Сер. матем., 42:3 (1978), 550–579; Math. USSR-Izv., 12:3 (1978), 507–535

Цитирование в формате AMSBIB
\RBibitem{Kan78}
\by В.~Г.~Кановей
\paper О~непустоте классов в~аксиоматической теории множеств
\jour Изв. АН СССР. Сер. матем.
\yr 1978
\vol 42
\issue 3
\pages 550--579
\mathnet{http://mi.mathnet.ru/izv1779}
\mathscinet{http://www.ams.org/mathscinet-getitem?mr=503431}
\zmath{https://zbmath.org/?q=an:0427.03044|0409.03031}
\transl
\jour Math. USSR-Izv.
\yr 1978
\vol 12
\issue 3
\pages 507--535
\crossref{https://doi.org/10.1070/IM1978v012n03ABEH001997}


Образцы ссылок на эту страницу:
  • http://mi.mathnet.ru/izv1779
  • http://mi.mathnet.ru/rus/izv/v42/i3/p550

    ОТПРАВИТЬ: 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. В. Г. Кановей, “Множество всех аналитически определимых множеств натуральных чисел может быть аналитически определимым”, Изв. АН СССР. Сер. матем., 43:6 (1979), 1259–1293  mathnet  mathscinet  zmath; V. G. Kanovei, “The set of all analytically definable sets of natural numbers can be defined analytically”, Math. USSR-Izv., 15:3 (1980), 469–500  crossref  isi
    2. Б. Л. Будинас, “О принципе селектора и об аналитической определимости конструктивных множеств”, УМН, 37:2(224) (1982), 193–194  mathnet  mathscinet  zmath  adsnasa; B. L. Budinas, “On the selector principle and analytic definability of constructive sets”, Russian Math. Surveys, 37:2 (1982), 207–208  crossref  isi
    3. Kanovei V. Lyubetsky V., “Definable Minimal Collapse Functions At Arbitrary Projective Levels”, J. Symb. Log., 84:1 (2019), 266–289  crossref  mathscinet  zmath  isi  scopus
  • Известия Академии наук СССР. Серия математическая Izvestiya: Mathematics
    Просмотров:
    Эта страница:217
    Полный текст:72
    Литература:38
    Первая стр.:2
     
    Обратная связь:
     Пользовательское соглашение  Регистрация  Логотипы © Математический институт им. В. А. Стеклова РАН, 2020