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. |
 |
|
||||||||||||||||||||||||||||||||||
| ðóññêèé | english |
|
||||||||||||||||||||||||||||||||||
|
|
||||||||||||||||||||||||||||||||||
© Institute for Information Transmission Problems of the Russian Academy of Sciences (Kharkevich Institute), 2025
About | Contacts | Ïðîòèâîäåéñòâèå êîððóïöèè