3 citations · 5 across the 5 of their papers we have counts for
Showing math.LOShow all
3 papers · 1 filter
math.LO2021★ 3 cited
Beautiful pairs
Pablo Cubides Kovacsics, Martin Hils, Jinhe Ye
We introduce an abstract framework to study certain classes of stably embedded pairs of models of a complete -theory , called \textit{beautiful pairs}, which compri…
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.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…