Recherche - Archive ouverte HAL Accéder directement au contenu

Filtrer vos résultats

16 résultats
Page :
triés par

Pseudo-algebraically closed rings

 Luck Darnière
Manuscripta mathematica, 2001, 105 (1), pp.13 - 46. ⟨10.1007/s002290170008⟩
Article dans une revue istex hal-01710790v1

Decidability and local-global principles

 Luck Darnière
Contemporary mathematics, 2000
Article dans une revue hal-01710804v1
Image document

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
Image document

Topological cell decomposition and dimension theory in P-minimal fields

 Pablo Cubides-Kovacsics , Luck Darnière , Eva Leenknegt
The Journal of Symbolic Logic, 2017, 82 (1), pp.347-358. ⟨10.1017/jsl.2016.45⟩
Article dans une revue hal-01188341v1

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. ⟨10.1007/s00153-010-0194-7⟩
Article dans une revue hal-03031611v1
Image document

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
Image document

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
Image document

On the model-completion of Heyting algebras

 Luck Darnière
2018
Pré-publication, Document de travail hal-01885531v1
Image document

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
Image document

Model-completion of scaled lattices

 Luck Darnière
2006
Pré-publication, Document de travail hal-00083404v1
Image document

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
Image document

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
Image document

Semi-algebraic triangulation over p-adically closed fields

 Luck Darnière
2018
Pré-publication, Document de travail hal-01469754v2
Image document

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
Image document

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

Nonsingular Hasse principle for rings

 Luck Darnière
Journal für die reine und angewandte Mathematik, 2000, 2000 (529), ⟨10.1515/crll.2000.098⟩
Article dans une revue istex hal-01710792v1
Page :