В. Г. Кановей, В. А. Любецкий, “Определимое счетное множество, не содержащее определимых элементов”, Матем. заметки, 102:3 (2017), 369–382; Math. Notes, 102:3 (2017), 338

Математические заметки

RUS ENG

ЖУРНАЛЫ ПЕРСОНАЛИИ ОРГАНИЗАЦИИ КОНФЕРЕНЦИИ СЕМИНАРЫ ВИДЕОТЕКА ПАКЕТ AMSBIB

JavaScript is disabled in your browser. Please switch it on to enable full functionality of the website

	Общая информация
	Последний выпуск
	Скоро в журнале
	Архив
	Импакт-фактор
	Правила для авторов
	Лицензионный договор
	Загрузить рукопись

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

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

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

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

Математические заметки, 2017, том 102, выпуск 3, страницы 369–382
DOI: https://doi.org/10.4213/mzm10842 (Mi mzm10842)

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

Определимое счетное множество, не содержащее определимых элементов

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

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

PDF полного текста (651 kB) Список цитирования (20)

Список литературы:

PDF

HTML

DOI: https://doi.org/10.4213/mzm10842

Аннотация: Доказана непротиворечивость существования счетного определимого множества вещественных чисел, не содержащего определимых элементов. Модель, где такое множество существует, получена с помощью счетного произведения форсинга Йенсена с конечной поддержкой.
Библиография: 17 названий.

Ключевые слова: счетные множества, определимые элементы, форсинг Йенсена.

Финансовая поддержка	Номер гранта
Российский фонд фундаментальных исследований	13-01-00006 17-01-00705
Российский научный фонд	14-50-00150
Исследование В. Г. Кановея выполнено за счет грантов Российского фонда фундаментальных исследований (гранты №№ 13-01-00006 и 17-01-00705). Исследование В. А. Любецкого выполнено за счет гранта Российского научного фонда (грант № 14-50-00150).

Поступило: 16.06.2015
Исправленный вариант: 14.04.2017

Англоязычная версия:
Mathematical Notes, 2017, Volume 102, Issue 3, Pages 338–349
DOI: https://doi.org/10.1134/S0001434617090048

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

Тип публикации: Статья

УДК: 510.225+510.223

Образец цитирования: В. Г. Кановей, В. А. Любецкий, “Определимое счетное множество, не содержащее определимых элементов”, Матем. заметки, 102:3 (2017), 369–382; Math. Notes, 102:3 (2017), 338–349

Цитирование в формате AMSBIB

\RBibitem{KanLyu17}

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

\paper Определимое счетное множество, не содержащее определимых элементов

\jour Матем. заметки

\yr 2017

\vol 102

\issue 3

\pages 369--382

\mathnet{http://mi.mathnet.ru/mzm10842}

\crossref{https://doi.org/10.4213/mzm10842}

\mathscinet{http://mathscinet.ams.org/mathscinet-getitem?mr=3691702}

\elib{https://elibrary.ru/item.asp?id=29864974}

\transl

\jour Math. Notes

\yr 2017

\vol 102

\issue 3

\pages 338--349

\crossref{https://doi.org/10.1134/S0001434617090048}

\isi{https://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcApp=Publons&SrcAuth=Publons_CEL&DestLinkType=FullRecord&DestApp=WOS_CPL&KeyUT=000413455100004}

\scopus{https://www.scopus.com/record/display.url?origin=inward&eid=2-s2.0-85032274221}

Образцы ссылок на эту страницу:

https://www.mathnet.ru/rus/mzm10842

https://doi.org/10.4213/mzm10842

https://www.mathnet.ru/rus/mzm/v102/i3/p369

Эта публикация цитируется в следующих 20 статьяx:

VICTORIA GITMAN, “PARAMETER-FREE SCHEMES IN SECOND-ORDER ARITHMETIC”, J. symb. log., 2025, 1
В. Г. Кановей, В. А. Любецкий, “Независимость схемы свертки в арифметике второго порядка от счетного выбора без параметров”, Матем. заметки, 117:2 (2025), 257–269
Vladimir Kanovei, Vassily Lyubetsky, “A good lightface Δn1 well-ordering of the reals does not imply the existence of boldface Δn-11 well-orderings”, Annals of Pure and Applied Logic, 175:6 (2024), 103426
Gunter Fuchs, “On the consistency strength of critical leaps”, Arch. Math. Logic, 2024
Vladimir Kanovei, Vassily Lyubetsky, “On Russell typicality in set theory”, Proc. Amer. Math. Soc., 2023
G. Fuchs, “Blurry definability”, Mathematics, 10:3 (2022), 452
V. Kanovei, V. Lyubetsky, “A generic model in which the Russell-nontypical sets satisfy ZFC strictly between HOD and the universe”, Mathematics, 10:3 (2022), 491
A. Tzouvaras, “Typicality à la Russell in set theory”, Notre Dame J. Formal Logic, 63:2 (2022)
V. Kanovei, R. Schindler, “Definable hamel bases and $\mathrm{AC}_\omega(\mathbb{R})$ ”, Fundam. Math., 253:3 (2021), 239–256
В. Г. Кановей, В. А. Любецкий, “Модели теории множеств, в которых теорема отделимости неверна”, Изв. РАН. Сер. матем., 85:6 (2021), 164–204 ; V. G. Kanovei, V. A. Lyubetsky, “Models of set theory in which the separation theorem fails”, Izv. Math., 85:6 (2021), 1181–1219
A. Enayat, V. Kanovei, “An unpublished theorem of Solovay on od partitions of reals into two non-od parts, revisited”, J. Math. Log., 21:03 (2021), 2150014
V. Kanovei, V. Lyubetsky, “The full basis theorem does not imply analytic wellordering”, Ann. Pure Appl. Log., 172:4 (2021), 102929
Pruss A.R., “A Classical Way Forward For the Regularity and Normalization Problems”, Synthese, 199:5-6 (2021), 11769–11792
A. Enayat, V. Kanovei, V. Lyubetsky, “On effectively indiscernible projective sets and the Leibniz-Mycielski axiom”, Mathematics, 9:14 (2021), 1670
V. Kanovei, V. Lyubetsky, “Borel OD sets of reals are Od-Borel in some simple models”, Proc. Amer. Math. Soc., 147:3 (2019), 1277–1282
В. Г. Кановей, В. А. Любецкий, “Определимые элементы определимых борелевских множеств”, Матем. заметки, 105:5 (2019), 696–707 ; V. G. Kanovei, V. A. Lyubetskii, “Definable Elements of Definable Borel Sets”, Math. Notes, 105:5 (2019), 684–693
V. Kanovei, V. Lyubetsky, “Non-uniformizable sets with countable cross-sections on a given level of the projective hierarchy”, Fundam. Math., 245:2 (2019), 175–215
S.-D. Friedman, V. Gitman, V. Kanovei, “A model of second-order arithmetic satisfying ac but not dc”, J. Math. Log., 19:1 (2019), UNSP 1850013
В. Г. Кановей, В. А. Любецкий, “Неуниформизуемые множества второго проективного уровня со счетными сечениями в виде классов Витали”, Изв. РАН. Сер. матем., 82:1 (2018), 65–96 ; V. G. Kanovei, V. A. Lyubetsky, “Non-uniformizable sets of second projective level with countable cross-sections in the form of Vitali classes”, Izv. Math., 82:1 (2018), 61–90
V. Kanovei, V. Lyubetsky, “Definable $\mathsf E_0$ classes at arbitrary projective levels”, Ann. Pure Appl. Logic, 169:9 (2018), 851–871

Citing articles in Google Scholar: Russian citations, English citations
Related articles in Google Scholar: Russian articles, English articles

Статистика просмотров:
Страница аннотации:	531
PDF полного текста:	66
Список литературы:	73
Первая страница:	27

Что такое QR-код?

Обратная связь:

Пользовательское соглашение

Регистрация посетителей портала

Логотипы