TY - RPRT TI - Model completeness for the differential field of transseries with exponentiation AU - Elliot Kaplan PY - 2020 UR - https://arxiv.org/abs/2004.14957 ID - 2004.14957 ER -