TY  - RPRT
TI  - Reduction games, provability, and compactness
AU  - Damir D. Dzhafarov
AU  - Denis R. Hirschfeldt
AU  - Sarah C. Reitzes
PY  - 2021
UR  - https://arxiv.org/abs/2008.00907
ID  - 2008.00907
ER  -