Nathanael Mariaule

collaborators

3 papers

math.LO2019

Expansions of the $p$ -adic numbers that interprets the ring of integers

Nathanaël Mariaule

Let $Q_{p}$ be the field of $p$ -adic numbers in the language of rings. In this paper we consider the theory of $Q_{p}$ expanded by two predica…

math.LO2018

Expansion of Presburger arithmetic with the exchange property

Nathanaël Mariaule

Let $G$ be a model of Presburger arithmetic. Let $L$ be an expansion of the language of Presburger $L_{P r es}$ . In this paper we prove that the $L$ -the…

math.LO2018

Model theory of the field of $p$ -adic numbers expanded by a multiplicative subgroup

Nathanaël Mariaule

Let $G$ be a multiplicative subgroup of $Q_{p}$ . In this paper, we describe the theory of the pair $(Q_{p}, G)$ under the condition that $G$ satisfies Mann property a…

Expansions of the p-adic numbers that interprets the ring of integers

Expansion of Presburger arithmetic with the exchange property

Model theory of the field of p-adic numbers expanded by a multiplicative subgroup

Expansions of the $p$ -adic numbers that interprets the ring of integers

Model theory of the field of $p$ -adic numbers expanded by a multiplicative subgroup