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

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

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



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






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


Изв. АН СССР. Сер. матем., 1979, том 43, выпуск 6, страницы 1259–1293 (Mi izv1755)  

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

Множество всех аналитически определимых множеств натуральных чисел может быть аналитически определимым

В. Г. Кановей


Аннотация: Доказана теорема о совместимости с теорией ZFC утверждения: множество всех аналитически определимых множеств $x\subseteq\omega$ аналитически определимо. $x\subseteq\omega$ называется аналитически определимым, если $x$ принадлежит одному из классов $\Sigma^1_n$ аналитической иерархии. То же для $X\subseteq\mathscr P(\omega)$. Таким образом, решена для случая $p=1$ проблема Тарского об определимости в теории типов. Доказательство использует метод вынуждения с помощью почти дизъюнктных множеств.
Библиография: 14 названий.

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

Англоязычная версия:
Mathematics of the USSR-Izvestiya, 1980, 15:3, 469–500

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

УДК: 51.01.16
MSC: Primary 03D55; Secondary 03C85
Поступило в редакцию: 26.10.1978

Образец цитирования: В. Г. Кановей, “Множество всех аналитически определимых множеств натуральных чисел может быть аналитически определимым”, Изв. АН СССР. Сер. матем., 43:6 (1979), 1259–1293; Math. USSR-Izv., 15:3 (1980), 469–500

Цитирование в формате AMSBIB
\RBibitem{Kan79}
\by В.~Г.~Кановей
\paper Множество всех аналитически определимых множеств натуральных чисел может быть аналитически определимым
\jour Изв. АН СССР. Сер. матем.
\yr 1979
\vol 43
\issue 6
\pages 1259--1293
\mathnet{http://mi.mathnet.ru/izv1755}
\mathscinet{http://www.ams.org/mathscinet-getitem?mr=567036}
\zmath{https://zbmath.org/?q=an:0452.03041|0427.03045}
\transl
\jour Math. USSR-Izv.
\yr 1980
\vol 15
\issue 3
\pages 469--500
\crossref{https://doi.org/10.1070/IM1980v015n03ABEH001258}
\isi{http://gateway.isiknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcApp=PARTNER_APP&SrcAuth=LinksAMR&DestLinkType=FullRecord&DestApp=ALL_WOS&KeyUT=A1980LF66600003}


Образцы ссылок на эту страницу:
  • http://mi.mathnet.ru/izv1755
  • http://mi.mathnet.ru/rus/izv/v43/i6/p1259

    ОТПРАВИТЬ: 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. Vladimir Kanovei, “On external Scott algebras in nonstandard models of Peano arithmetic”, J. symb. log, 61:02 (1996), 586  crossref
    2. Vladimir Kanovei, Mikhail G. Katz, Thomas Mormann, “Tools, Objects, and Chimeras: Connes on the Role of Hyperreals in Mathematics”, Found Sci, 2012  crossref
  • Известия Академии наук СССР. Серия математическая Izvestiya: Mathematics
    Просмотров:
    Эта страница:219
    Полный текст:63
    Литература:41
    Первая стр.:2
     
    Обратная связь:
     Пользовательское соглашение  Регистрация  Логотипы © Математический институт им. В. А. Стеклова РАН, 2020