Войти
Логин:
Пароль:
Забыли пароль?
научная деятельность
структура институтаобразовательные проектыпериодические изданиясотрудники институтапресс-центрконтакты
русский | english

2019 г.

A model of second-order arithmetic satisfying AC but not DC.
Journal of Math. Logic, 2019, 19, no 1, принято в печать.
Published online: 21 September 2018
DOI 10.1142/S0219061318500137
WoS Q1 (Ranked 1st overall in the category of Logic by Journal Citation Reports JCR and SCImago SJR.)

Перейти к публикации

Авторы: Gitman V., Friedman S.D., Kanovei V.
 

 

  © Федеральное государственное бюджетное учреждение науки
Институт проблем передачи информации им. А.А. Харкевича Российской академии наук, 2019
Об институте  |  Контакты  |  Старая версия сайта