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 2026Show all

4 papers · 1 filter

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.AC2026

Holomorphy rings and the Nullstellensatz over large fields

Pablo Cubides Kovacsics, Sebastián Uribe Rincón

For an infinite field $K$ and an ideal $I \subseteq K [X_{1}, \dots, X_{n}]$ , let $J (Z_{K} (I))$ be the ideal of polynomials vanishing on the $K$ -rational zero locus of $I$ . A Nullstellensatz…

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…