3 citations · 5 across the 5 of their papers we have counts for
Showing 2018Show all
3 papers · 1 filter
math.LO2018★ 1 cited
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.AG2018★ 1 cited
Definable sets of Berkovich curves
Pablo Cubides Kovacsics, Jérôme Poineau
In this article, we functorially associate definable sets to -analytic curves, and definable maps to analytic morphisms between them, for a large class of -analytic curves. G…
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…