VLDB 2026 Research / reviewers in the wild / expert
Eran Alouf
dblp:247/5079
· DBLP profile ↗
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
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2025 | On dp-minimal expansions of the integers
Eran Alouf |
Ann. Pure Appl. Log. | 1 |
| 2019 | A New DP-Minimal Expansion of the IntegersabstractAbstract 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 |