Qualité : MCF
Equipe : Algèbre et Géométries
Bureau : 203
Téléphone : 02 41 73 50 51
Adresse électronique : Luck•Darniere@univ-angers•fr
Page web : http://math.univ-angers.fr/~darniere/home.html
Spécialité : Logique mathématique (théorie des modèles) : dixième problème de Hilbert, principes locaux-globaux, triangulation p-adique, algèbres de Heyting
Equipe : Algèbre et Géométries
Bureau : 203
Téléphone : 02 41 73 50 51
Adresse électronique : Luck•Darniere@univ-angers•fr
Page web : http://math.univ-angers.fr/~darniere/home.html
Spécialité : Logique mathématique (théorie des modèles) : dixième problème de Hilbert, principes locaux-globaux, triangulation p-adique, algèbres de Heyting
Publications présentes dans la base HAL :
16 documents
Articles dans une revue
- 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⟩
- Luck Darnière, Immanuel Halupczok. Cell decomposition and classification of definable sets in p-optimal fields. The Journal of Symbolic Logic, Association for Symbolic Logic, 2017, 82 (1), pp.120-136. ⟨hal-01083119v4⟩
- Pablo Cubides-Kovacsics, Luck Darnière, Eva Leenknegt. Topological cell decomposition and dimension theory in P-minimal fields. The Journal of Symbolic Logic, Association for Symbolic Logic, 2017, 82 (1), pp.347-358. ⟨10.1017/jsl.2016.45⟩. ⟨hal-01188341⟩
- Luck Darnière. Polytopes and simplexes in p-adic fields. Annals of Pure and Applied Logic, Elsevier Masson, 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, Springer Verlag, 2010, 49 (7-8), pp.743 - 771. ⟨10.1007/s00153-010-0194-7⟩. ⟨hal-03031611⟩
- Luck Darnière, Markus Junker. Codimension and pseudometric in co-Heyting algebras. Algebra Universalis, Springer Verlag, 2010, 64 (3-4), pp.251-282. ⟨hal-00346038⟩
- Luck Darnière, Markus Junker. On Bellissima's construction of the finitely generated free Heyting algebras, and beyond. Archive for Mathematical Logic, Springer Verlag, 2010, 49 (7-8), pp.743-771. ⟨hal-00346039⟩
- Luck Darnière. Pseudo-algebraically closed rings. manuscripta mathematica, Springer Verlag, 2001, 105 (1), pp.13 - 46. ⟨10.1007/s002290170008⟩. ⟨hal-01710790⟩
- Luck Darnière. Nonsingular Hasse principle for rings. Journal für die reine und angewandte Mathematik, Walter de Gruyter, 2000, 2000 (529), ⟨10.1515/crll.2000.098⟩. ⟨hal-01710792⟩
- Luck Darnière. Decidability and local-global principles . Contemporary mathematics, American Mathematical Society, 2000. ⟨hal-01710804⟩
Pré-publications, Documents de travail
- 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. Model-completion of scaled lattices. 2006. ⟨hal-00083404⟩
Habilitations à diriger des recherches
- 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⟩