4 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…