TY  - RPRT
TI  - Completeness of the ring of polynomials
AU  - Anders Thorup
PY  - 2013
UR  - https://arxiv.org/abs/1312.5509
ID  - 1312.5509
ER  -