19 citations · 20 across the 4 of their papers we have counts for
1 paper · 2 filters
Matthias Aschenbrenner, Anatole Khélif, Eudes Naziazeno +1
We characterize those finitely generated commutative rings which are (parametrically) bi-interpretable with arithmetic: a finitely generated commutative ring A is bi-interpretabl…