Jensen Reals by Means of Second-Order Peano Arithmetic.
Axioms, 2024, 13(2), Article no 96.
DOI: 10.3390/axioms13020096 (WoS Q2)
Перейти к публикации Загрузить (248.3 KB)
| Авторы: Kanovei V., Lyubetsky V. |
 |
|
||||||||||||||||||||||||||||||||||
| русский | english |
|
||||||||||||||||||||||||||||||||||
|
|
||||||||||||||||||||||||||||||||||
© Федеральное государственное бюджетное учреждение науки
Институт проблем передачи информации им. А.А. Харкевича Российской академии наук, 2024
Об институте | Контакты | Противодействие коррупции