TY - RPRT TI - Definable linear orders definably embed into lexicographic orders in o-minimal structures AU - Janak Ramakrishnan PY - 2010 UR - https://arxiv.org/abs/1003.5400 ID - 1003.5400 ER -