5 papers
A radical answer to a question by Robinson
Blaise Boissonneau, Mikel E. Garciarena, Immanuel Halupczok
We study the ring of Puiseux polynomials with integer coefficients. We prove notably that the order given by the leading coefficient is definable without parameters in the language…
Elimination results for tame fields with finite residue fields
Sylvy Anscombe, Blaise Boissonneau
Building on work of Kuhlmann and Lisinski, we study the theory of the Hahn series field , over a finite field , equipped with the…
The Grothendieck ring of a non-divisible ordered abelian group is trivial
Blaise Boissonneau, Mathias Stout, Floris Vermeulen
We consider the model-theoretic Grothendieck ring of definable sets in ordered abelian groups. It is well-known that and $\mat…
Mekler's Construction and Murphy's Law for 2-Nilpotent Groups
Blaise Boissonneau, Aris Papadopoulos, Pierre Touchard
Mekler's construction is a powerful technique for building purely algebraic structures from combinatorial ones. Its power lies in the fact that it allows various model-theoretic ta…
Growing Spines Ad Infinitum
Blaise Boissonneau, Anna De Mase, Franziska Jahnke +1
We show that every non-trivial ordered abelian group is augmentable by infinite elements, i.e., we have for some non-trivial ordered abelian group …