Recherche - Archive ouverte HAL Accéder directement au contenu

Filtrer vos résultats

16 résultats

Hensel minimality II: Mixed characteristic and a diophantine application

Raf Cluckers , Immanuel Halupczok , Silvain Rideau-Kikuchi , Floris Vermeulen
Forum of Mathematics, Sigma, In press
Article dans une revue hal-03332241v1

Enriching a predicate and tame expansions of the integers

Gabriel Conant , Christian d'Elbée , Yatir Halevi , Léo Jimenez , Silvain Rideau-Kikuchi
2022
Pré-publication, Document de travail hal-03866941v1

Imaginaries, invariant types and pseudo p-adically closed fields

Samaria Montenegro , Silvain Rideau-Kikuchi
Transactions of the American Mathematical Society, 2021, pp.803-828. ⟨10.1090/tran/8052⟩
Article dans une revue hal-03017019v1
Image document

Éliminations dans les corps valués

Silvain Rideau
Mathématiques générales [math.GM]. Université Paris Sud - Paris XI, 2014. Français. ⟨NNT : 2014PA112375⟩
Thèse tel-01127198v1
Image document

Some properties of analytic difference fields

Silvain Rideau
Journal of the Institute of Mathematics of Jussieu, 2015, pp.10.1017/S1474748015000183. ⟨10.1017/S1474748015000183⟩
Article dans une revue hal-01185044v1
Image document

Validating register allocation and spilling

Silvain Rideau , Xavier Leroy
Compiler Construction 2010, Mar 2010, Paphos, Cyprus. pp.224-243, ⟨10.1007/978-3-642-11970-5_13⟩
Communication dans un congrès inria-00529841v1
Image document

Games and Strategies as Event Structures

Simon Castellan , Pierre Clairambault , Silvain Rideau , Glynn Winskel
Logical Methods in Computer Science, 2017, ⟨10.23638/LMCS-13(3:35)2017⟩
Article dans une revue hal-01302713v3

Un principe d'Ax-Kochen-Ershov imaginaire

Martin Hils , Silvain Rideau-Kikuchi
2022
Pré-publication, Document de travail hal-03866938v1

Valued fields, metastable groups

Ehud Hrushovski , Silvain Rideau-Kikuchi
Selecta Mathematica (New Series), 2019, 25 (3), ⟨10.1007/s00029-019-0491-x⟩
Article dans une revue hal-02397880v1

Definable equivalence relations and zeta functions of groups (with an appendix by Raf Cluckers)

Ehud Hrushovski , Ben Martin , Silvain Rideau
Journal of the European Mathematical Society, 2018, 20 (10), pp.2467-2537. ⟨10.4171/JEMS/817⟩
Article dans une revue hal-02373411v1
Image document

Imaginaries and invariant types in existentially closed valued differential fields

Silvain Rideau
2015
Pré-publication, Document de travail hal-01188962v1

Imaginaries in separably closed valued fields

Martin Hils , Moshe Kamensky , Silvain Rideau
Proceedings of the London Mathematical Society, 2018, 116 (6), pp.1457-1488. ⟨10.1112/plms.12116⟩
Article dans une revue hal-02397935v1
Image document

Definable and invariant types in enrichments of NIP theories

Silvain Rideau , Pierre Simon
2015
Pré-publication, Document de travail hal-01185055v1

Hensel minimality I

Raf Cluckers , Immanuel Halupczok , Silvain Rideau-Kikuchi
Forum of Mathematics, Pi, 2022, ⟨10.1017/fmp.2022.6⟩
Article dans une revue hal-03017168v1

A short note on groups in separably closed valued Fields

Silvain Rideau
Annals of Pure and Applied Logic, 2021, 172 (4), ⟨10.1016/j.apal.2021.102943⟩
Article dans une revue hal-03017128v1

Imaginaries and invariant types in existentially closed valued differential fields

Silvain Rideau
Journal für die reine und angewandte Mathematik, 2019, 2019 (750), pp.157-196. ⟨10.1515/crelle-2016-0036⟩
Article dans une revue hal-02397932v1