Crossmark

Notes on the Equiconsistency of ZFC Without the Power Set Axiom and Second-Order Arithmetic

Crossref DOI link: https://doi.org/10.3390/axioms14120865

Published Online: 2025-11-25

Update policy: https://doi.org/10.3390/mdpi_crossmark_policy

Authors

Kanovei, Vladimir https://orcid.org/0000-0001-7415-9784
Lyubetsky, Vassily https://orcid.org/0000-0002-3739-9161
Funding

Funding for this research was provided by:

Russian Science Foundation (24-44-00099)
License Information

Version of Record valid from 2025-11-25