Enrico Savi

collaborators

3 papers

math.AG2026

$K$ -holomorphic functions with definable real part

Antonio Carbone, Enrico Savi

Let $R$ be a real closed field and $K := R (i)$ its algebraic closure. Let $U \subset K^{n}$ be an open and definable set in a fixed o-minimal structure. In this note, we study the relat…

math.AG2026

Algebraic realization of stable Poincaré-Reeb graphs

Enrico Savi

We introduce the notion of domain of finite type $D \subset R^{n}$ generalizing an earlier work of Bodin, Popescu-Pampu and Sorea. Then, we prove that every finite g…

math.AG2024

On the first-order theories of quaternions and octonions

Enrico Savi

Let $L$ be the language of rings. We provide an axiomatization of the $L$ -theories of quaternions and octonions and characterize their models: they coincide, up to isomorphism, wit…

K-holomorphic functions with definable real part

Algebraic realization of stable Poincaré-Reeb graphs

On the first-order theories of quaternions and octonions

$K$ -holomorphic functions with definable real part