TY  - RPRT
TI  - A descent view on Mitchell's theorem
AU  - Elden Elmanto
AU  - Denis Nardin
AU  - Lucy Yang
PY  - 2020
UR  - https://arxiv.org/abs/2008.02821
ID  - 2008.02821
ER  -