18 citations · 32 across the 7 of their papers we have counts for
1 paper · 1 filter
Pablo Cubides Kovacsics, Deirdre Haskell
We show quantifier elimination theorems for real closed valued fields with separated analytic structure and overconvergent analytic structure in their natural one-sorted languages…