Notes on the equiconsistency of ZFC without the Power Set axiom and 2nd order PA.
arXiv: 2507.11643 [math.LO], July 2025, 29 pp. DOI: 10.48550/arXiv.2507.11643
Перейти к публикации
| Авторы: Kanovei V., Lyubetsky V. |
 |
|
||||||||||||||||||||||||||||||||||
| русский | english |
|
||||||||||||||||||||||||||||||||||
|
|
||||||||||||||||||||||||||||||||||
© Федеральное государственное бюджетное учреждение науки
Институт проблем передачи информации им. А.А. Харкевича Российской академии наук, 2025
Об институте | Контакты | Противодействие коррупции