Luck Darnière

Publication Activity (10 Years)

Years Active: 2010-2020
Publications (10 Years): 6

Top Topics

Correct Classification

Information Preserving

Decomposition Method

Top Venues

Ann. Pure Appl. Log.

Publications

Luck Darnière, Marcus Tressl
Defining integer-valued functions in rings of continuous definable functions over a topological field. J. Math. Log. 20 (3) (2020)
Luck Darnière
Model completion of scaled lattices and co-Heyting algebras of p-adic semi-algebraic sets. Math. Log. Q. 65 (3) (2019)
Luck Darnière, Immanuel Halupczok
Cell Decomposition and Classification of Definable Sets in P-Optimal Fields - Corrigendum. J. Symb. Log. 83 (4) (2018)
Luck Darnière, Immanuel Halupczok
Cell Decomposition and Classification of Definable Sets in P-Optimal Fields. J. Symb. Log. 82 (1) (2017)
Luck Darnière
Polytopes and simplexes in p-adic fields. Ann. Pure Appl. Log. 168 (6) (2017)
Pablo Cubides Kovacsics, Luck Darnière, Eva Leenknegt
Topological cell Decomposition and Dimension Theory in P-Minimal Fields. J. Symb. Log. 82 (1) (2017)
Luck Darnière, Markus Junker
On Bellissima's construction of the finitely generated free Heyting algebras, and beyond. Arch. Math. Log. 49 (7-8) (2010)