Showing 1–8 of 8 results for author: Rideau, S

Imaginaries, invariant types and pseudo p-adically closed fields

Authors: Samaria Montenegro, Silvain Rideau

Abstract: 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-behaved invariant types. Finally we apply these tools to the elimination of imaginaries in bounded pseudo-p-adically closed fields. 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-behaved invariant types. Finally we apply these tools to the elimination of imaginaries in bounded pseudo-p-adically closed fields. △ Less

Submitted 25 October, 2019; v1 submitted 1 February, 2018; originally announced February 2018.

Comments: Minor corrections. Acknowledgement of support by ValCoMo (ANR-13-BS01-0006) added

A short note on groups in separably closed valued Fields

Authors: Silvain Rideau

Abstract: 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. 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. △ Less

Submitted 4 November, 2017; v1 submitted 7 December, 2016; originally announced December 2016.

Comments: 11 pages. The proofs that are also in arXiv:1709.08801 have been removed

Imaginaries in separably closed valued fields

Authors: Martin Hils, Moshe Kamensky, Silvain Rideau

Abstract: We show that separably closed valued fields of finite imperfection degree (either with lambda-functions or commuting Hasse derivations) eliminate imaginaries in the geometric language. We then use this classification of interpretable sets to study stably dominated types in those structures. We show that separably closed valued fields of finite imperfection degree are metastable and that the space… ▽ More We show that separably closed valued fields of finite imperfection degree (either with lambda-functions or commuting Hasse derivations) eliminate imaginaries in the geometric language. We then use this classification of interpretable sets to study stably dominated types in those structures. We show that separably closed valued fields of finite imperfection degree are metastable and that the space of stably dominated types is strict pro-definable. △ Less

Submitted 28 September, 2017; v1 submitted 7 December, 2016; originally announced December 2016.

MSC Class: 12J20; 03C10; 03C98

Games and Strategies as Event Structures

Authors: Simon Castellan, Pierre Clairambault, Silvain Rideau, Glynn Winskel

Abstract: 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 detailed, self-contained and slightly-updated account of the results of Rideau and Winskel: a notion of pre-strategy based on event structures; a characterisation of those pre-strategies (deemed strategies) which are preserved… ▽ More 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 detailed, self-contained and slightly-updated account of the results of Rideau and Winskel: a notion of pre-strategy based on event structures; a characterisation of those pre-strategies (deemed strategies) which are preserved by composition with a copycat strategy; and the construction of a bicategory of these strategies. Furthermore, we prove that the corresponding category has a compact closed structure, and hence forms the basis for the semantics of concurrent higher-order computation. △ Less

Submitted 27 September, 2017; v1 submitted 15 April, 2016; originally announced April 2016.

Journal ref: Logical Methods in Computer Science, Volume 13, Issue 3 (September 29, 2017) lmcs:3966

Imaginaries and invariant types in existentially closed valued differential fields

Authors: Silvain Rideau

Abstract: 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 introduced by Haskell, Hrushovski and Macpherson and that they have the invariant extension property. These two result follow from an abstract criterion for the density of definable types in enrichments of algebraically closed va… ▽ More 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 introduced by Haskell, Hrushovski and Macpherson and that they have the invariant extension property. These two result follow from an abstract criterion for the density of definable types in enrichments of algebraically closed valued fields. Finally, we show that this theory is metastable. △ Less

Submitted 7 December, 2016; v1 submitted 31 August, 2015; originally announced August 2015.

Comments: 41 pages. The paper was significantly shortened for publication

Definable and invariant types in enrichments of NIP theories

Authors: Silvain Rideau, Pierre Simon

Abstract: 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' to be definable (respectively invariant) as an L-type. Besides, we generalise work of Simon and Starchenko on the density of definable types among non forking types to this relative setting. These results are then applied… ▽ More 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' to be definable (respectively invariant) as an L-type. Besides, we generalise work of Simon and Starchenko on the density of definable types among non forking types to this relative setting. These results are then applied to Scanlon's model completion of valued differential fields. △ Less

Submitted 7 December, 2016; v1 submitted 24 July, 2015; originally announced July 2015.

Comments: 9 pages. An error was pointed out in section 2 of the previous version so that section was removed. So was Proposition 3.8 that depended on it

Some properties of analytic difference fields

Authors: Silvain Rideau

Abstract: 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 Ax-Kochen-Ersov type results with respect to completeness and the NIP property. The main example we are interested in is the field of Witt vectors on the algebraic closure of $\mathbb{F}_{p}$ endowed with its natural anal… ▽ More 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 Ax-Kochen-Ersov type results with respect to completeness and the NIP property. The main example we are interested in is the field of Witt vectors on the algebraic closure of $\mathbb{F}_{p}$ endowed with its natural analytic structure and the lifting of the Frobenius. It turns out we can give a (reasonable) axiomatization of its first order theory and that this theory is NIP. △ Less

Submitted 18 August, 2015; v1 submitted 8 January, 2014; originally announced January 2014.

Comments: The theorem now hold for all valued field automorphisms and not just isometries. This is the final version. 56 pages

Definable equivalence relations and zeta functions of groups

Authors: Ehud Hrushovski, Ben Martin, Silvain Rideau, Raf Cluckers

Abstract: We prove that the theory of the $p$-adics ${\mathbb Q}_p$ admits elimination of imaginaries provided we add a sort for ${\rm GL}_n({\mathbb Q}_p)/{\rm GL}_n({\mathbb Z}_p)$ for each $n$. We also prove that the elimination of imaginaries is uniform in $p$. Using $p$-adic and motivic integration, we deduce the uniform rationality of certain formal zeta functions arising from definable equivalence re… ▽ More We prove that the theory of the $p$-adics ${\mathbb Q}_p$ admits elimination of imaginaries provided we add a sort for ${\rm GL}_n({\mathbb Q}_p)/{\rm GL}_n({\mathbb Z}_p)$ for each $n$. We also prove that the elimination of imaginaries is uniform in $p$. Using $p$-adic and motivic integration, we deduce the uniform rationality of certain formal zeta functions arising from definable equivalence relations. This also yields analogous results for definable equivalence relations over local fields of positive characteristic. The appendix contains an alternative proof, using cell decomposition, of the rationality (for fixed $p$) of these formal zeta functions that extends to the subanalytic context. As an application, we prove rationality and uniformity results for zeta functions obtained by counting twist isomorphism classes of irreducible representations of finitely generated nilpotent groups; these are analogous to similar results of Grunewald, Segal and Smith and of du Sautoy and Grunewald for subgroup zeta functions of finitely generated nilpotent groups. △ Less

Submitted 30 December, 2017; v1 submitted 30 December, 2006; originally announced January 2007.

Comments: 89 pages. Various corrections and changes. To appear in J. Eur. Math. Soc

MSC Class: 03C60; 03C10; 11M41; 20E07; 20C15