2 papers
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…
math.LO2014
Definable types in algebraically closed valued fields
Pablo Cubides-Kovacsics, Françoise Delon
Marker and Steinhorn shown that given two models of an o-minimal theory, if all 1-types over realized in are definable, then all types over realized in a…