TY  - RPRT
TI  - A model of second-order arithmetic satisfying AC but not DC
AU  - Sy-David Friedman
AU  - Victoria Gitman
AU  - Vladimir Kanovei
PY  - 2018
UR  - https://arxiv.org/abs/1808.04732
ID  - 1808.04732
ER  -