TY  - RPRT
TI  - Arrow's theorem, ultrafilters, and reverse mathematics
AU  - Benedict Eastaugh
PY  - 2024
DO  - 10.1017/s1755020324000054
UR  - https://arxiv.org/abs/2306.06471
ID  - 2306.06471
ER  -