On Bellissima's construction of the finitely generated free Heyting algebras, and beyond. - Luck Darnière; Markus Junker 001 (Arch. Math. Log., 2010)

Polytopes and simplexes in p-adic fields. - Luck Darnière (Ann. Pure Appl. Log., 2017)

Cell Decomposition and Classification of Definable Sets in P-Optimal Fields. - Luck Darnière; Immanuel Halupczok (J. Symb. Log., 2017)

Topological cell Decomposition and Dimension Theory in P-Minimal Fields. - Pablo Cubides Kovacsics; Luck Darnière; Eva Leenknegt (J. Symb. Log., 2017)

Cell Decomposition and Classification of Definable Sets in P-Optimal Fields - Corrigendum. - Luck Darnière; Immanuel Halupczok (J. Symb. Log., 2018)

Model completion of scaled lattices and co-Heyting algebras of p-adic semi-algebraic sets. - Luck Darnière (Math. Log. Q., 2019)

Defining integer-valued functions in rings of continuous definable functions over a topological field. - Luck Darnière; Marcus Tressl (J. Math. Log., 2020)