Documents Bucur, I. 2 résultats

complexe co-tangent # déformation de torseur # formalisation des mathématiques constructives de Bishop # formalisme de dualité en géométrie algébrique # géométrie algébrique # hypothèse du continu # logique # schéma de groupe # système déductif et catégorie # théorie des faisceaux # topos classifiant # treillis continu

calcul de terme local # cohomologie de schéma classique # cohomologie l-adique # complexe dualisant # formule d'Euler-Poincaré en cohomologie étale # formule de Lefschetz # formule de Nielsen- Wecken et de Lefschetz # groupe de classe de catégorie abélienne et triangulée # géométrie algébrique # morphisme de Frobenius # rationalité de fonction L # système projectif J- adique # théorie cohomologique des classes de Chern