Eran Alouf

collaborators

3 papers

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

On dp-minimal expansions of the integers

Eran Alouf

We show that if $Z$ is a dp-minimal expansion of $(Z, +, 0, 1)$ that defines an infinite subset of $N$ , then $Z$ is interdefin…

math.LO2024

On dp-minimal expansions of the integers II

Eran Alouf

We first prove that if $Z$ is a dp-minimal expansion of $(Z, +, 0, 1)$ which is not interdefinable with $(Z, +, 0, 1, <)$ , then every inf…