@misc{indiciae3f8b6ab1a99f,
  title = {Non-tightness in class theory and second-order arithmetic},
  author = {Alfredo Roque Freire and Kameryn J. Williams},
  year = {2023},
  url = {https://arxiv.org/abs/2212.04445},
  note = {Source identifier: 2212.04445}
}