activity
20172025
most citedPseudo T-closed fields

1 citations · 1 across the 5 of their papers we have counts for

collaborators
Showing math.LOShow all

7 papers · 1 filter

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…

math.LO2023

Imaginaries in equicharacteristic zero henselian fields

Silvain Rideau-Kikuchi, Mariana Vicaría

We classify the imaginaries in a large class of equicharacteristic zero henselian valued fields that contain all those with bounded inertia group, and more. To do so, we consider a…

math.LO2023★ 1 cited

Pseudo T-closed fields

Samaria Montenegro, Silvain Rideau-Kikuchi

Pseudo algebraically closed, pseudo real closed, and pseudo -adically closed fields are examples of unstable fields that share many similarities, but have mostly been studied se…

math.LO2022

Enriching a predicate and tame expansions of the integers

Gabriel Conant, Christian d'Elbée, Yatir Halevi +2

Given a structure and a stably embedded -definable set , we prove tameness preservation results when enriching the induced structure on by some furt…

math.LO2017

Valued fields, Metastable groups

Ehud Hrushovski, Silvain Rideau-Kikuchi

We introduce a class of theories called metastable, including the theory of algebraically closed valued fields (ACVF) as a motivating example. The key local notion is that of defin…