|
|
Topological cell decomposition and dimension theory in P-minimal fields
Pablo Cubides-Kovacsics
,
Luck Darnière
,
Eva Leenknegt
Article dans une revue
hal-01188341v1
|
Partager
Gmail
Facebook
X
LinkedIn
More
|
|
|
Model completion of scaled lattices and co-Heyting algebras of p-adic semi-algebraic sets
Luck Darnière
2018
Pré-publication, Document de travail
hal-01756160v3
|
Partager
Gmail
Facebook
X
LinkedIn
More
|
|
|
Pseudo-algebraically closed rings
Luck Darnière
Article dans une revue
istex
hal-01710790v1
|
Partager
Gmail
Facebook
X
LinkedIn
More
|
|
|
Decidability and local-global principles
Luck Darnière
Contemporary mathematics, 2000
Article dans une revue
hal-01710804v1
|
Partager
Gmail
Facebook
X
LinkedIn
More
|
|
|
On Bellissima's construction of the finitely generated free Heyting algebras, and beyond
Luck Darnière
,
Markus Junker
Archive for Mathematical Logic, 2010, 49 (7-8), pp.743-771
Article dans une revue
hal-00346039v1
|
Partager
Gmail
Facebook
X
LinkedIn
More
|
|
|
On the model-completion of Heyting algebras
Luck Darnière
2018
Pré-publication, Document de travail
hal-01885531v1
|
Partager
Gmail
Facebook
X
LinkedIn
More
|
|
|
Polytopes and simplexes in p-adic fields
Luck Darnière
Annals of Pure and Applied Logic, 2016, 168 (6), pp.1284-1307
Article dans une revue
hal-01276748v2
|
Partager
Gmail
Facebook
X
LinkedIn
More
|
|
|
On Bellissima’s construction of the finitely generated free Heyting algebras, and beyond
Luck Darnière
,
Markus Junker
Article dans une revue
hal-03031611v1
|
Partager
Gmail
Facebook
X
LinkedIn
More
|
|
|
Model-completion of varieties of co-Heyting algebras
Luck Darnière
,
Markus Junker
Houston Journal of Mathematics, 2018, 44 (1), pp.49-82
Article dans une revue
hal-00445886v2
|
Partager
Gmail
Facebook
X
LinkedIn
More
|
|
|
Model-completion of scaled lattices
Luck Darnière
2006
Pré-publication, Document de travail
hal-00083404v1
|
Partager
Gmail
Facebook
X
LinkedIn
More
|
|
|
Codimension and pseudometric in co-Heyting algebras
Luck Darnière
,
Markus Junker
Algebra Universalis, 2010, 64 (3-4), pp.251-282
Article dans une revue
hal-00346038v1
|
Partager
Gmail
Facebook
X
LinkedIn
More
|
|
|
Defining integer valued functions in rings of continuous definable functions over a topological field
Luck Darnière
,
Marcus Tressl
2018
Pré-publication, Document de travail
hal-01907668v1
|
Partager
Gmail
Facebook
X
LinkedIn
More
|
|
|
Semi-algebraic triangulation over p-adically closed fields
Luck Darnière
2018
Pré-publication, Document de travail
hal-01469754v2
|
Partager
Gmail
Facebook
X
LinkedIn
More
|
|
|
Cell decomposition and classification of definable sets in p-optimal fields
Luck Darnière
,
Immanuel Halupczok
The Journal of Symbolic Logic, 2017, 82 (1), pp.120-136
Article dans une revue
hal-01083119v4
|
Partager
Gmail
Facebook
X
LinkedIn
More
|
|
|
De la triangulation p-adique aux algèbres de Heyting, et vice-versa
Luck Darnière
Mathématiques générales [math.GM]. Université d'Angers, 2019
HDR
tel-02392014v1
|
Partager
Gmail
Facebook
X
LinkedIn
More
|
|
|
Nonsingular Hasse principle for rings
Luck Darnière
Article dans une revue
istex
hal-01710792v1
|
Partager
Gmail
Facebook
X
LinkedIn
More
|