A. Fornasiero

activity

20242026

collaborators

8 papers

math.LO2026

Generic derivations on algebraically bounded structures II. Model theoretical properties

Fornasiero Antongiulio, Terzo Giuseppina

Let T be an algebraically bounded theory. We consider the $L (I^ˉ ´)$ -expansions of T by a tuple $I^ˉ ´$ of derivations (which may be commuting or not). We investigate the model…

math.LO2026

Geometric fields, ranks, and generic derivations

Antongiulio Fornasiero, Elliot Kaplan, Angus Matthews

In this note, we show various minimality results for a geometric theory of fields $T$ : $T$ is stable if and only if it is strongly minimal, $T$ is simple if and only if it has SU-r…

math.LO2025

Stable reducts of elementary extensions of Presburger arithmetic

Eran Alouf, Antongiulio Fornasiero, Itay Kaplan

Suppose $N$ is elementarily equivalent to an archimedean ordered abelian group $(G, +, <)$ with small quotients (for all $1 \leq n < I ¨ $ , $[G : n G]$ is finite). Then every stable redu…

math.LO2025

A weak version of the Strong Exponential Closure

Paola D'Aquino, Antongiulio Fornasiero, Giuseppina Terzo

Assuming Schanuel's Conjecture we prove that for any variety V over the algebraic closure over the rational numbers, of dimension n and with dominant projections, there exists a ge…

math.CO2024

Hilbert polynomials for finitary matroids

Antongiulio Fornasiero, Elliot Kaplan

We consider a tuple $I^¦ = (I ¨ _{1}, \dots, I ¨ _{m})$ of commuting maps on a finitary matroid $X$ . We show that if $I^¦$ satisfies certain conditions, then for any finite set $A \subseteq X$ ,…

math.LO2024

Generic derivations on algebraically bounded structures

Fornasiero Antongiulio, Terzo Giuseppina

Let K be an algebraically bounded structure and T be its theory. If T is model complete, then the theory of K endowed with a derivation, denoted by $T^{I^} ´$ , has a model completion.…