TY - RPRT TI - The Borel Complexity of Isomorphism for Complete Theories of Linear Orders With Unary Predicates AU - Richard Rast PY - 2016 UR - https://arxiv.org/abs/1504.03037 ID - 1504.03037 ER -