24 citations · 58 across the 6 of their papers we have counts for
Showing 2016 · math.LOShow all
3 papers · 2 filters
math.LO2016
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…
math.LO2016★ 12 cited
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…
math.LO2016★ 11 cited
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…