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
- 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. ⟨hal-00346039⟩
- Luck Darnière, Markus Junker. Codimension and pseudometric in co-Heyting algebras. Algebra Universalis, 2010, 64 (3-4), pp.251-282. ⟨hal-00346038⟩
- Luck Darnière. Model-completion of scaled lattices. 2006. ⟨hal-00083404⟩
- Luck Darnière. Pseudo-algebraically closed rings. Manuscripta mathematica, 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, 2000, 2000 (529), ⟨10.1515/crll.2000.098⟩. ⟨hal-01710792⟩
- Luck Darnière. Decidability and local-global principles . Contemporary mathematics, 2000. ⟨hal-01710804⟩
Documents récupérés de l'archive ouverte HAL 
