TY  - RPRT
TI  - Reverse Mathematics and Algebraic Field Extensions
AU  - François G. Dorais
AU  - Jeffry Hirst
AU  - Paul Shafer
PY  - 2013
UR  - https://arxiv.org/abs/1209.4944
ID  - 1209.4944
ER  -