TY  - RPRT
TI  - Model completeness of o-minimal fields with convex valuations
AU  - Clifton Ealy
AU  - Jana Maříková
PY  - 2013
UR  - https://arxiv.org/abs/1211.6755
ID  - 1211.6755
ER  -