@misc{indiciaee1a5c5b9ecc7,
  title = {Notes on the equiconsistency of ZFC without the Power Set axiom and second order PA},
  author = {Vladimir Kanovei and Vassily Lyubetsky},
  year = {2025},
  url = {https://arxiv.org/abs/2507.11643},
  note = {Source identifier: 2507.11643}
}