@misc{indiciae3e260cc78b20,
  title = {Coding over Core Models},
  author = {Sy David Friedman and Ralf Schindler and David Schrittesser},
  year = {2022},
  url = {https://arxiv.org/abs/2209.08696},
  note = {Source identifier: 2209.08696}
}