pith. sign in

Luck Darni\`ere (LAREMA)

Identifiers

  • name variant Luck Darni\`ere (LAREMA) 0.60 · backfill

Papers (11)

  1. Defining integer valued functions in rings of continuous definable functions over a topological field math.LO · 2018 · author #1
  2. On the model-completion of Heyting algebras math.LO · 2018 · author #1
  3. Model completion of scaled lattices and co-Heyting algebras of p-adic semi-algebraic sets math.LO · 2018 · author #1
  4. Semi-algebraic triangulation over p-adically closed fields math.GT · 2017 · author #1
  5. Polytopes and simplexes in p-adic fields math.LO · 2016 · author #1
  6. Topological cell decomposition and dimension theory in P-minimal fields math.LO · 2015 · author #2
  7. Cell decomposition and classification of definable sets in p-optimal fields math.LO · 2014 · author #1
  8. Model-completion of varieties of co-Heyting algebras math.LO · 2010 · author #1
  9. On Bellissima's construction of the finitely generated free Heyting algebras, and beyond math.LO · 2008 · author #1
  10. Codimension and pseudometric in co-Heyting algebras math.LO · 2008 · author #1
  11. Model-completion of scaled lattices math.LO · 2006 · author #1

Mentions

  • 1508.07536 #2 · backfill · confidence 0.70 Luck Darni\`ere (LAREMA)
  • 1412.2571 #1 · backfill · confidence 0.70 Luck Darni\`ere (LAREMA)
  • 1001.1663 #1 · backfill · confidence 0.70 Luck Darni\`ere (LAREMA)
  • 0812.2027 #1 · backfill · confidence 0.70 Luck Darni\`ere (LAREMA)
  • 0812.2026 #1 · backfill · confidence 0.70 Luck Darni\`ere (LAREMA)

Frequent Coauthors