Publications

Articles

13. Defining integer valued functions in rings of continuous definable functions over a topological field
    24 pages, submitted

14. On the model-completion of scaled lattices and the co-Heyting algebras of closed p-adic semi-algebraic sets
    28 pages, Mathematical Logic Quarterly

15. Semi-algebraic triangulation over p-adically closed fields
    55 pages, Proceedings of the London Mathematical Society

10. Polytopes and simplexes in p-adic fields
    25 pages, Annals of Pure and Applied Logic

9. Topological cell decomposition and dimension theory in P-minimal fields
   12 pages, Journal of Symbolic Logic

8. Cell decomposition and classification of definable sets in p-optimal fields
   19 pages, Journal of Symbolic Logic

7. Model-completion of varieties of co-Heyting algebras
   27 pages, Houston Journal of Mathematics

6. On Bellissima's construction of the finitely generated free Heyting algebras, and beyond
   24 pages, Archive for Mathematical Logic

5. Codimension and pseudometric in co-Heyting algebras
   34 pages, Algebra Universalis

4. Model completion of scaled lattices
   26 pages, Prépublications mathématiques d'Angers

3. Decidability and Local-Global Principles
   23 pages, Contemporary Mathematics

2. Pseudo algebraically closed rings
   31 pages, Manuscripta Mathematica

1. Non singular Hasse principle for rings
   23 pages, Journal für die reine und angewandte Mathematik

Miscellany

• Journée François Ducrot (juin 2022)
• Thèse d'habilitation (HDR, nov. 2019)
• Seminar DDG (may 2015)
• Seminar DDG (nov. 2009)
• Conference LC 2009
• PhD thesis
• Various talks (obsolete)