TY  - RPRT
TI  - Non-tightness in class theory and second-order arithmetic
AU  - Alfredo Roque Freire
AU  - Kameryn J. Williams
PY  - 2023
UR  - https://arxiv.org/abs/2212.04445
ID  - 2212.04445
ER  -