24 citations · 58 across the 6 of their papers we have counts for
8 papers
Imaginaries, invariant types and pseudo p-adically closed fields
Samaria Montenegro, Silvain Rideau
In this paper, we give a very general criterion for elimination of imaginaries using an abstract independent relation. We also study germs of definable functions at certain well-be…
A short note on groups in separably closed valued Fields
Silvain Rideau
In this note we show that groups with definable generics in a separably closed valued of finite imperfection degree can be embedded into groups definable in their algebraic closure…
Imaginaries in separably closed valued fields
Martin Hils, Moshe Kamensky, Silvain Rideau
We show that separably closed valued fields of finite imperfection degree (either with lambda-functions or commuting Hasse derivations) eliminate imaginaries in the geometric langu…
Games and Strategies as Event Structures
Simon Castellan, Pierre Clairambault, Silvain Rideau +1
In 2011, Rideau and Winskel introduced concurrent games and strategies as event structures, generalizing prior work on causal formulations of games. In this paper we give a detaile…
Imaginaries and invariant types in existentially closed valued differential fields
Silvain Rideau
We answer two open questions about the model theory of valued differential fields introduced by Scanlon. We show that they eliminate imaginaries in the geometric language introduce…
Definable and invariant types in enrichments of NIP theories
Silvain Rideau, Pierre Simon
Let T be an NIP L-theory and T' be an enrichment. We give a sufficient condition on T' for the underlying L-type of any definable (respectively invariant) type over a model of T' t…
Some properties of analytic difference fields
Silvain Rideau
We prove field quantifier elimination for valued fields endowed with both an analytic structure and an automorphism that are -Henselian. From this result we can deduce various A…
Definable equivalence relations and zeta functions of groups
Ehud Hrushovski, Ben Martin, Silvain Rideau +1
We prove that the theory of the -adics admits elimination of imaginaries provided we add a sort for for eac…