3 papers
math.LO2025
The tilting equivalence as a bi-interpretation
Silvain Rideau-Kikuchi, Thomas Scanlon, Pierre Simon
We propose a model theoretic interpretation of the theorems about the equivalence between mixed characteristic perfectoid spaces and their tilts.
math.LO2025
On groups definable in geometric fields with generic derivations
Anand Pillay, Françoise Point, Silvain Rideau-Kikuchi
We study groups definable in existentially closed geometric fields with commuting derivations. Our main result is that such a group can be definably embedded in a group interpretab…
math.LO2024
On residual domination and types orthogonal to the value group
Pablo Cubides Kovacsics, Silvain Rideau-Kikuchi, Mariana Vicaría
We present a unifying framework of residual domination for (expansions of) henselian valued fields of equicharacteristic zero, encompassing some valued fields with operators. We sh…