TY  - RPRT
TI  - Cousin's lemma in second-order arithmetic
AU  - Jordan Mitchell Barrett
AU  - Rodney G. Downey
AU  - Noam Greenberg
PY  - 2021
UR  - https://arxiv.org/abs/2105.02975
ID  - 2105.02975
ER  -