• LAREMA UMR 6093 CNRS
  • SFR Math-STIC
  • Faculté des sciences
  • Université d’Angers

Mathématiques à Angers

  • Accueil
    • Contacts
    • Nous visiter
    • Bibliothèque de Mathématiques
  • Annuaire
  • Les formations
    • Licence de Mathématiques
    • Double licence Mathématiques-Économie
    • Licence de mathématiques à distance
    • Master Mathématiques Fondamentales et Applications
    • Master MEEF Mathématiques
    • Master Data Science
  • Recherche
    • Équipe Algèbre et Géométries
    • Équipe Analyse, Probabilités et Statistique
    • Publications du LAREMA
    • Séminaires du LAREMA
    • Invités du LAREMA
    • Annales Henri Lebesgue
  • Liens internes
    • Intranet
    • plmbox du LAREMA
    • Gestion des séminaires
  • Grand public
    • Années des mathématiques
    • Pourquoi faire des maths ?
    • Math en Jeans
    • Fête de la science
    • Les cinq minutes Lebesgue
    • Images des mathématiques
    • Maison mathématique de l’Ouest
    • Agence Lebesgue

DARNIÈRE Luck

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


Publications présentes dans la base HAL :
  • Publications
  • Métadonnées
    • Auteurs
    • Année de production


Contact

    Disciplines

    • Mathématiques [math]/Logique [math.LO]13
    • Mathématiques [math]/Mathématiques générales [math.GM]1
    • Mathématiques [math]/Topologie géométrique [math.GT]1
    • Mathématiques [math]/Mathématiques [math]/Logique [math.LO]1
    • Mathématiques [math]/Mathématiques générales [math.GM]/Mathématiques [math]/Logique [math.LO]1
    • Mathématiques [math]/Topologie géométrique [math.GT]/Mathématiques [math]/Logique [math.LO]1
    • Mathématiques [math]1

    Mots-clefs

    Algèbre de Heyting Anneaux de fonctions continues Automorphism group Brouwerian lattice Cell decomposition Classification up to definable isomorphisms Co-Heyting algebra Codimension Completion Decidability Dimension Dimension theory Heyting algebra Model-completion Model-theory P-adic Quantifier elimination Scaled lattice Triangulation Uniform interpolant 
    • Quantifier elimination4
    • Cell decomposition3
    • Heyting algebra3
    • Completion2
    • Decidability2
    • Model-completion2
    • Model-theory2
    • P-adic2
    • Scaled lattice2
    • Triangulation2
    • Uniform interpolant2
    • Algèbre de Heyting1
    • Anneaux de fonctions continues1
    • Automorphism group1
    • Brouwerian lattice1
    • Classification up to definable isomorphisms1
    • Co-Heyting algebra1
    • Codimension1
    • Dimension1
    • Dimension theory1
    • Discriminant1
    • Finitely generated Heyting algebra1
    • Finitely generated Heyting algebras1
    • Free Heyting algebras1
    • Géometrie non archimédienne1
    • Heyting Algebra1
    • Heyting algebras1
    • Irreducible elements1
    • Kripke model1
    • Logic1
    • Model- completion1
    • Monohedral division1
    • Monotopic division1
    • Open mapping1
    • P-adic definable functions1
    • P-adic field1
    • P-adic geometry1
    • P-adic polytopes1
    • P-adic simplexes1
    • P-adically closed field1
    • P-adique1
    • P-minimal field1
    • P-minimality1
    • P-optimal field1
    • Precompact Heyting algebra1
    • Retraction1
    • Semi-algebraic sets1
    • Simplicial complex1
    • Slice1
    • Spectrum1

    Auteurs

    • userDarnière Luck16
    • userJunker Markus3
    • userLeenknegt Eva2
    • userTressl Marcus1
    • userKovacsics Pablo Cubides1
    • userCubides-Kovacsics Pablo1
    • userHalupczok Immanuel1

    Revues

    • The Journal of Symbolic Logic3
    • Algebra Universalis1
    • Annals of Pure and Applied Logic1
    • Archive for Mathematical Logic1
    • Journal für die reine und angewandte Mathematik1
    • manuscripta mathematica1
    • Houston Journal of Mathematics1
    • Contemporary mathematics1

    Année de production

    • 20191
    • 20185
    • 20173
    • 20161
    • 20102
    • 20061
    • 20011
    • 20002

    Institutions

    • Centre National de la Recherche Scientifique16
    • Université d'Angers16
    • Albert-Ludwigs-Universität Freiburg3
    • K.U.Leuven2
    • University of Manchester [Manchester]1
    • University of Leeds1
    • Université de Lille1
    • Université de Caen Normandie1

    Laboratoires

    • Laboratoire Angevin de Recherche en Mathématiques16
    • Mathematisches Institut, Abteilung für Mathematische Logik3
    • Laboratoire de Mathématiques Nicolas Oresme1
    • Laboratoire Paul Painlevé - UMR 85241
    • School of Mathematics [Manchester]1
    • School of Mathematics - University of Leeds1

    Départements

    • Department of Mathematics2

    Équipes de recherche

    16 documents

    Article dans une revue10 documents

    • 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, Association for Symbolic Logic, 2017, 82 (1), pp.347-358. ⟨10.1017/jsl.2016.45⟩. ⟨hal-02346238⟩
    • 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. ⟨hal-01188341⟩
    • 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⟩
    • 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. 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é-publication, Document de travail5 documents

    • 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⟩

    HDR1 document

    • 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⟩

    Documents récupérés de l'archive ouverte HAL logo

    Site hébergé par l'Université d'Angers.
    Directeurs de la publication : Nicolas Raymond et Frédéric Mangolte