TY  - RPRT
TI  - Translation procedures in descriptive inner model theory
AU  - Grigor Sargsyan
PY  - 2021
UR  - https://arxiv.org/abs/2110.06091
ID  - 2110.06091
ER  -