5 citations · 7 across the 5 of their papers we have counts for
Showing 2018Show all
2 papers · 1 filter
math.LO2018
Expansion of Presburger arithmetic with the exchange property
Nathanaël Mariaule
Let be a model of Presburger arithmetic. Let be an expansion of the language of Presburger . In this paper we prove that the -the…
math.LO2018★ 5 cited
Model theory of the field of -adic numbers expanded by a multiplicative subgroup
Nathanaël Mariaule
Let be a multiplicative subgroup of . In this paper, we describe the theory of the pair under the condition that satisfies Mann property a…