Notes on the equiconsistency of ZFC without the Power Set axiom and second order arithmetic. Axioms, 2025, under review.
(WoS Q2, ÁÑ 2)
Go to publication
| Authors: Kanovei V., Lyubetsky V. |
 |
|
||||||||||||||||||||||||||||||||||
| ðóññêèé | english |
|
||||||||||||||||||||||||||||||||||
|
|
||||||||||||||||||||||||||||||||||
© Institute for Information Transmission Problems of the Russian Academy of Sciences (Kharkevich Institute), 2025
About | Contacts | Ïðîòèâîäåéñòâèå êîððóïöèè