Pablo Cubides Kovacsics

activity

20142026

most citedPro-definability of spaces of definable types

9 citations · 25 across the 14 of their papers we have counts for

collaborators

Showing 2026 · math.LOShow all

3 papers · 2 filters

math.LO2026

Analytification and tropicalization via hyperfields and definable types

Pablo Cubides Kovacsics, Mariana Vicaría, Jinhe Ye

We study the analytification and tropicalization of algebraic varieties over valued fields via Jun's spaces of hyperfield points. Our main new objects are a family of power-tropica…

math.LO2026

A Nullstellensatz for the field of complex Laurent series

Pablo Cubides Kovacsics, Sebastián Uribe Rincón

Let $T$ be the theory of the valued field of complex Laurent series $C ((t))$ in the language of rings expanded by a constant for $t$ and by predicates for $n$ -th power…

math.LO2026

Quantifier elimination for lovely pairs of strongly geometric fields

Pablo Cubides Kovacsics, Felipe Estrada, Juan Pérez +1

Let $T$ be a complete strongly geometric theory of fields with quantifier elimination. We show that the theory of lovely pairs of $T$ has quantifier elimination in Delon's definiti…