logo IMB
Retour

Séminaire de Géométrie

Une invitation à la P-minimalité.

Pablo CUBIDES KOVACSICS

( U. Caen )

Salle 2

le 21 octobre 2016 à 10:45

L'une des contributions les plus importantes de la théorie des modèles est l'introduction et le développement de la notion d'ominimaliteˊo-minimalité. Cette notion peut être conçue comme une tentative de fournir une approche commune et unifiée des géométries réelles ayant une topologie modérée (par exemple, la géométrie semi-algébrique et la géométrie sous-analytique). Une notion analogue pour la géométrie p-adique, appelée PminimaliteˊP-minimalité, a été introduite par Haskell et Macpherson en 1997 [4]. Néanmoins, elle reste à ce jour beaucoup moins aboutie que sa contre-partie réelle. Dans cet exposé, je ferai une introduction à la P-minimalité et je présenterai quelques résultats récents issus de [1, 2, 3] ainsi que les principaux obstacles dans son étude. Références : [1] P. Cubides Kovacsics, E. Leenknegt, and L. Darnière. Topological cell decomposition and dimension theory in P-minimal fields. To appear in the Journal of Symbolic Logic, arXiv :1508.07536 [math.LO], 2015. [2] P. Cubides Kovacsics and K. H. Nguyen. A P-minimal structure without definable Skolem functions. To appear in the Journal of Symbolic Logic, arXiv :1605.00945 [math.LO], 2016. [3] L. Darnière and I. Halupczok. Cell decomposition and classification of definable sets in p-optimal fields. To appear in the Journal of Symbolic Logic, arXiv :1412.2571 [math.LO], 2015. [4] D. Haskell and D. Macpherson, A version of o-minimality for the p-adics, Journal of Symbolic Logic 62 (1997), 1075-1092.