$T$-convexly valued o-minimal fields are definably spherically complete

Pietro Freni

I prove the statement in the title using results from arXiv:2404.07646(2). This shows that Question~1.1 in [1] has negative answer for certain expansions of a valued field.