2 papers
math.LO2026
Quantifier elimination for lovely pairs of strongly geometric fields
Pablo Cubides Kovacsics, Felipe Estrada, Juan Pérez +1
Let be a complete strongly geometric theory of fields with quantifier elimination. We show that the theory of lovely pairs of has quantifier elimination in Delon's definiti…
math.LO2025
On residual domination and types orthogonal to the value group
Pablo Cubides Kovacsics, Silvain Rideau-Kikuchi, Mariana VicarÃa
We present a unifying framework of residual domination for (expansions of) henselian valued fields of equicharacteristic zero, encompassing some valued fields with operators. We sh…