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