TY  - RPRT
TI  - Enriching a predicate and tame expansions of the integers
AU  - Gabriel Conant
AU  - Christian d'Elbée
AU  - Yatir Halevi
AU  - Léo Jimenez
AU  - Silvain Rideau-Kikuchi
PY  - 2023
UR  - https://arxiv.org/abs/2203.07226
ID  - 2203.07226
ER  -