Eran Alouf

dblp:247/5079 · DBLP profile ↗
← Back
2ranked-venue papers
2as first author
1since 2021 · last 2025
—ORCID · none

Domains — the database's venue-derived domains; a paper can count in several

Theory of computation · 2 · 2 first-author · 1 since 2021
YearPublicationVenuePosition
2025 On dp-minimal expansions of the integers
Eran Alouf
Ann. Pure Appl. Log.1
2019 A New DP-Minimal Expansion of the Integers
abstract
Abstract We consider the structure $({\Bbb Z}, + ,0,|_{p_1 } , \ldots ,|_{p_n } )$ , where $x|_p y$ means $v_p \left( x \right) \leqslant v_p \left( y \right)$ and v p is the p -adic valuation. We prove that this structure has quantifier elimination in a natural expansion of the language of abelian groups, and that it has dp-rank n . In addition, we prove that a first order structure with universe ${\Bbb Z}$ which is an expansion of $({\Bbb Z}, + ,0)$ and a reduct of $({\Bbb Z}, + ,0,|_p )$ must be interdefinable with one of them. We also give an alternative proof for Conant’s analogous result about $({\Bbb Z}, + ,0, < )$ .
Eran Alouf, Christian D'elbée
J. Symb. Log.1