TY - RPRT TI - Ordered transexponential fields AU - Lothar Sebastian Krapp AU - Salma Kuhlmann PY - 2023 UR - https://arxiv.org/abs/2305.04607 ID - 2305.04607 ER -