Un théorème de type Haefliger définissable
Résumé
Soit M une sous-variété définissable dans une structure o-minimale A et soit omega une 1-forme différentielle A-définissable et qui définit un feuilletage de codimension un sur M. Nous montrons qu'il existe un recouvrement fini de M par des ouverts A-définissables M1 , ..., Mr qui vérifient la propriété suivante : pour chaque i, tout lacet C1 inclus dans Mi est tangent à noyau de la forme omega en un point.
Origine : Fichiers produits par l'(les) auteur(s)