Parameterfree Comprehension does not imply full Comprehension in second order Peano arithmetic.
Studia Logica,
2023, under review.
(WoS Q2)
| Авторы: Kanovei V., Lyubetsky V. |
 |
|
||||||||||||||||||||||||||||||||||
| русский | english |
|
||||||||||||||||||||||||||||||||||
|
|
||||||||||||||||||||||||||||||||||
© Федеральное государственное бюджетное учреждение науки
Институт проблем передачи информации им. А.А. Харкевича Российской академии наук, 2023
Об институте | Контакты | Старая версия сайта