TY  - RPRT
TI  - Computable valued fields
AU  - Matthew Harrison-Trainor
PY  - 2017
UR  - https://arxiv.org/abs/1602.08408
ID  - 1602.08408
ER  -