TY  - RPRT
TI  - Reducing $ω$-model reflection to iterated syntactic reflection
AU  - Fedor Pakhomov
AU  - James Walsh
PY  - 2022
UR  - https://arxiv.org/abs/2103.12147
ID  - 2103.12147
ER  -