# Publications

Homepage | Publications | Teaching | CV | Miscellaneous | Contact

# Papers

**Valued fields, Metastable groups**,with Ehud Hrushovski. To appear in Selecta Math. (N.S.).

arXiv:1709.08801. **Imaginaries and invariant types in existentially closed valued differential fields**.To appear in J. Reine Angew. Math. (Crelle).

Doi:10.1515/crelle-2016-0036. arXiv:1508.07935.

In this earlier version, there are a few more results that did not make it to the final version.**Imaginaries in separably closed valued fields**,with Martin Hils and Moshe Kamensky. Proc. Lond. Math. Soc. (3), 116(6), pp 1457-1488, 2018.

Doi:10.1112/plms.12116. arXiv:1612.02142. **Definable equivalence relations and zeta functions of groups**,with Ehud Hrushovski and Ben Martin, with an appendix by Raf Cluckers. J. Eur. Math. Soc. (JEMS), 20(10), pp 2467–2537, 2018.

Doi:10.4171/JEMS/817. arXiv:math/0701011. **Games and strategies as event structures**,with Simon Castellan, Pierre Clairambault and Glynn Winskel. Log. Methods Comput. Sci. 13(3), 2017.

Doi:10.23638/LMCS-13(3:35)2017. arXiv:1604.04390. **Definable and invariant types in enrichments of NIP theories**,with Pierre Simon. J. Symb. Log. 82(1), pp 317–324, 2017.

Doi:10.1017/jsl.2016.35. arXiv:1507.06863. **Some properties of analytic difference valued fields**.J. Inst. Math. Jussieu 16(3), pp 447–499, 2017.

Doi:10.1017/S1474748015000183. arXiv:1401.1765. **Concurrent Strategies**,with Glynn Winskel. Logic in Computer Science (LICS 2011), pp 409-418, 2011.

Doi:10.1109/LICS.2011.13. **Validating Register Allocation and Spilling**,with Xavier Leroy. Compiler Construction (CC 2010), Lecture Notes in Comput. Sci., 6011, pp 224-243, 2010.

Doi:10.1007/978-3-642-11970-5_13.

# Talks

*Imaginaires dans les corps Henséliens*, Séminaire de logique, Lyon, November 2018: slides.*Metastability*, Neostability Theory, Oaxaca, October 2018: video.*Imaginaires dans les corps henséliens de charactéristique zéro, et applications aux questions de rationalités de certaines fonctions zêta locales*, Second Congrès de la SMF, Lille, June 2018: slides.*Towards an imaginary Ax-Kochen-Ershov principle*, Model theory and valued fields, IHP, Paris, March 2018: slides, video.*Prolongations in valued fields*, Dart VIII, Linz, September 2017: slides, video.*Imaginaries in pseudo-p-adically closed fields*, Model Theory, Bedlewo, July 2017: slides, video.*Imaginaries in Valued Differential Fields I: Finding Prolongations*, Kolchin Seminar, New York, October 2016: video 1, video 2.*Imaginaries in valued fields with operators*(short version), ASL Annual NA Meeting, Stoors, May 2016: slides.*Imaginaries in valued fields with operators*, UCLA Logic Colloquium, April 2016: slides*Transferring Imaginaries*, UC Berkeley Logic Colloquium, November 2015: slides.*Imaginaries and definable types in valued differential fields*, Logic Colloquium, Helsinki, August 2015: slides.*Élimination dans les corps valués*, PhD defense, Orsay, December 2014: slides.*Definable and invariant types in enrichments of NIP theories*, Neostability Theory, Oaxaca, July 2014: video.*Transferring imaginaries, How to eliminate imaginaries in p-adic fields*, Model Theory in Geometry and Arithmetic, MSRI, Berkeley, May 2014: slides, video.*Analytic difference fields, Elimination of field quantifiers and Ax-Kochen-Eršov principle*, British Postgraduate Model Theory, Leeds, January 2014: slides.*Transferring imaginaries, How to eliminate imaginaries in p-adic fields*, British Postgraduate Model Theory, Manchester, January 2013: slides.*Transferring imaginaries, How to eliminate imaginaries in p-adic fields*, Model theory seminar, Berkeley, April 2013: slides.*Transfert d’imaginaires, Comment éliminer les imaginaires dans les corps p-adiques*, Séminaire de logique, Lyon, September 2013: slides.

# Other texts

- My PhD thesis written under the supervision of Élisabeth Bouscaren and Tom Scanlon.
- The english translation of the introduction to my PhD thesis.
- A text on the elimination of imaginaries in p-adic fields.
- My Masters dissertation, written under the supervision of Élisabeth Bouscaren.
- An introduction to my research that I wrote at the Ens.
- A disseration about stable domination, generic stablity and orthogonality in ACVF that I wrote during a class in Masters.
- A disseration that I wrote with Gabriel Scherer at the Ens. It is about the independance of Goodstein's theorem in Peano's arithmetic. One can also find a proof of Gentzen's theorem in there.