@misc{indiciaea2fa7e177823,
  title = {Subcompact cardinals, type omission and ladder systems},
  author = {Yair Hayut and Menachem Magidor},
  year = {2022},
  url = {https://arxiv.org/abs/2003.02589},
  note = {Source identifier: 2003.02589}
}