ÂÅÐÑÈß ÄËß ÑËÀÁÎÂÈÄßÙÈÕ
Enter
Login:
Password:
Forgot your password?
scientific activity
structureeducational projectsperiodicalsstaffpress centercontacts
ðóññêèé | english

2018 year

A model of second-order arithmetic satisfying AC but not DC.
arXiv:1808.04732 [math.LO], August 2018.

Go to publication

Authors: Gitman V., Friedman S.D., Kanovei V.
 

 

© Institute for Information Transmission Problems of the Russian Academy of Sciences (Kharkevich Institute), 2024
About  |  Contacts  |  Ïðîòèâîäåéñòâèå êîððóïöèè