TY  - RPRT
TI  - Subcompact cardinals, type omission and ladder systems
AU  - Yair Hayut
AU  - Menachem Magidor
PY  - 2022
UR  - https://arxiv.org/abs/2003.02589
ID  - 2003.02589
ER  -