18 citations · 69 across the 34 of their papers we have counts for
Showing 2016Show all
2 papers · 1 filter
math.LO2016
The logical complexity of finitely generated commutative rings
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 is bi-interpretabl…
math.LO2016
Dimension in the realm of transseries
Matthias Aschenbrenner, Lou van den Dries, Joris van der Hoeven
Let be the differential field of transseries. We establish some basic properties of the dimension of a definable subset of , also in relation to its codi…