Jensen Reals by Means of Second-Order Peano Arithmetic.
Axioms, 2024, 13(2), Article no 96.
DOI: 10.3390/axioms13020096 (WoS Q2)
Go to publication Download (248.3 KB)
Authors: Kanovei V., Lyubetsky V. |
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
© Institute for Information Transmission Problems of the Russian Academy of Sciences (Kharkevich Institute), 2024 About | Contacts | Ïðîòèâîäåéñòâèå êîððóïöèè |