@misc{indiciae9b51389eda5d,
  title = {Constructing the Constructible Universe Constructively},
  author = {Richard Matthews and Michael Rathjen},
  year = {2023},
  url = {https://arxiv.org/abs/2206.08283},
  note = {Source identifier: 2206.08283}
}