Blaise Boissonneau

collaborators

3 papers

math.LO2026

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 $F_{q} ((Q))$ , over a finite field $F_{q}$ , equipped with the…

math.LO2026

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 $K Q ≅ Z [T] / (T^{2} + T)$ and $\mat…

math.LO2025

Growing Spines Ad Infinitum

Blaise Boissonneau, Anna De Mase, Franziska Jahnke +1

We show that every non-trivial ordered abelian group $G$ is augmentable by infinite elements, i.e., we have $G ≼ H \oplus G$ for some non-trivial ordered abelian group $H$ …