Publications
Homepage | Publications | Teaching | CV | Miscellaneous | Contact
Papers
- Imaginaries, Invariant types and pseudo-p-adically closed fields,
avec Samaria Montenegro. To appear in Trans. Amer. Math. Soc.
arXiv:1802.00256. - Valued fields, Metastable groups,
with Ehud Hrushovski. Selecta Math. (N.S.), 25(3), 2019.
Doi:10.1007/s00029-019-0491-x. arXiv:1709.08801. - Imaginaries and invariant types in existentially closed valued differential fields.
J. Reine Angew. Math. (Crelle), 750, pp 157–196, 2019.
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. - 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. - 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. - 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
- Pseudo T-closed fields, approximations and NTP2 Géométrie et théorie des modèles, Paris, May 2021: slides.
- La théorie géométrique des modèles Comment lier structure et combinatoire , Raconte-moi, DMA, ENS, February 2021: slides.
- A model theoretic theoretic account of the tilting equivalence, Séminaire Lyon-Paris, April 2020: slides.
- Asymptotic imaginaries in (Fp((t))^alg, v, φ_p), San José, Costa-Rica, June 2020: slides.
- A model theoretic theoretic account of the tilting equivalence, Séminaire Lyon-Paris, April 2020: slides.
- 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.