publication venue for Real closed valued fields with analytic structure. 63:249-261. 2020 Real closed valued fields with analytic structure 2018