11 citations · 11 across the 4 of their papers we have counts for
Showing 2024 · math.LOShow all
2 papers · 2 filters
math.LO2024
Stable reducts of elementary extensions of Presburger arithmetic
Eran Alouf, Antongiulio Fornasiero, Itay Kaplan
Suppose is elementarily equivalent to an archimedean ordered abelian group with small quotients (for all , is finite). Then every stable reduc…
math.LO2024
On dp-minimal expansions of the integers II
Eran Alouf
We first prove that if is a dp-minimal expansion of which is not interdefinable with , then every inf…