DARNIÈRE Luck

Contact

Nom : Luck Darnière
IdHAL : luck-darniere
IdRef : 231299257 ,

Disciplines

Mots-clefs

Auteurs

Auteurs de la structure

Revues

Année de production

Institutions

Laboratoires

Départements

Équipes de recherche

• Luck Darnière. De la triangulation p-adique aux algèbres de Heyting, et vice-versa. Mathématiques générales [math.GM]. Université d'Angers, 2019. ⟨tel-02392014⟩
• Luck Darnière. Semi-algebraic triangulation over p-adically closed fields. 2018. ⟨hal-01469754v2⟩
• Luck Darnière, Marcus Tressl. Defining integer valued functions in rings of continuous definable functions over a topological field. 2018. ⟨hal-01907668⟩
• Luck Darnière. On the model-completion of Heyting algebras. 2018. ⟨hal-01885531⟩
• Luck Darnière. Model completion of scaled lattices and co-Heyting algebras of p-adic semi-algebraic sets. 2018. ⟨hal-01756160v3⟩
• Luck Darnière, Markus Junker. Model-completion of varieties of co-Heyting algebras. Houston Journal of Mathematics, 2018, 44 (1), pp.49-82. ⟨hal-00445886v2⟩
• Pablo Cubides-Kovacsics, Luck Darnière, Eva Leenknegt. Topological cell decomposition and dimension theory in P-minimal fields. The Journal of Symbolic Logic, 2017, 82 (1), pp.347-358. ⟨10.1017/jsl.2016.45⟩. ⟨hal-01188341⟩
• Luck Darnière, Immanuel Halupczok. Cell decomposition and classification of definable sets in p-optimal fields. The Journal of Symbolic Logic, 2017, 82 (1), pp.120-136. ⟨hal-01083119v4⟩
• Luck Darnière. Polytopes and simplexes in p-adic fields. Annals of Pure and Applied Logic, 2016, 168 (6), pp.1284-1307. ⟨hal-01276748v2⟩
• Luck Darnière, Markus Junker. On Bellissima’s construction of the finitely generated free Heyting algebras, and beyond. Archive for Mathematical Logic, 2010, 49 (7-8), pp.743 - 771. ⟨10.1007/s00153-010-0194-7⟩. ⟨hal-03031611⟩

• 1
• 2
• »