@misc{indiciae39bd1f3f6101,
  title = {Iterating the cofinality-\$ω\$ constructible model},
  author = {Ur Ya'ar},
  year = {2021},
  url = {https://arxiv.org/abs/2109.05840},
  note = {Source identifier: 2109.05840}
}