2 papers
math.LO2018
Real closed valued fields with analytic structure
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…
math.LO2018
Definable functions in tame expansions of algebraically closed valued fields
Pablo Cubides Kovacsics, Françoise Delon
In this article we study definable functions in tame expansions of algebraically closed valued fields. For a given definable function we have two types of results: of type (I), whi…