A model of second-order arithmetic satisfying AC but not DC.
arXiv:1808.04732 [math.LO],
August 2018.
Перейти к публикации
| Авторы: Gitman V., Friedman S.D., Kanovei V. |
 |
|
||||||||||||||||||||||||||||||||||
| русский | english |
|
||||||||||||||||||||||||||||||||||
|
|
||||||||||||||||||||||||||||||||||
© Федеральное государственное бюджетное учреждение науки
Институт проблем передачи информации им. А.А. Харкевича Российской академии наук, 2024
Об институте | Контакты | Противодействие коррупции