Démonstration d'un théorème de N. Levinson et C. Langenhop

Une preuve formelle et intuitionniste du théorème de complétude de la logique classique

Il est bien connu que la correspondance de Curry-Howard permet d’associer un programme, sous la forme d’un λ-terme, à toute preuve intuitionniste, formalisée dans le calcul des prédicats du second ordre (voir, par exemple [3]). Cette correspondance a été étendue, assez récemment, à la logique classique moyennant une extension convenable du λ-calcul (voir [1,4,5,6]). Chaque théorème formalisé en...

[2] Théorie des intersections et théorème de Riemann-Roch. Séminaire de Géométrie

[1] Motives. Proceedings of the AMS-IMS-SIAM Joint Summer Research Conference held at the University of Washington, Seattle, Washington, July 20–August 2, 1991. Edited by Uwe Jannsen, Steven Kleiman and Jean-Pierre Serre. Proceedings of Symposia in Pure Mathematics, 55, Part 1. American Mathematical Society, Providence, RI, 1994. xiv+747 pp. MR 94i:11003 [2] Théorie des intersections et théorèm...

Lemme d ’ Artin – Rees , théorème d ’ Izumi et fonction de Artin Guillaume Rond

We interpret the Artin–Rees lemma and the Izumi theorem in term of Artin function and we obtain a stable version of the Artin–Rees lemma. We present different applications of these interpretations. First we show that the Artin function of X1X2 −X3X4, as a polynomial in the ring of power series in more than three variables, is not bounded by an affine function. Then we prove that the Artin funct...

Arithmétique des courbes elliptiques à réduction supersingulière en p

CONTENTS 1. Introduction 2. Fonction L p-adique analytique et congruences provenant de la distribution modulaire 3. Fonction L p-adique arithmétique 4. Conjecture principale et théorème de Kato 5. λ-invariants et µ-invariants 6. Croissance du groupe de Shafarevich-Tate 7. Exemples Numériques A. Démonstration du théorème 3.2 B. Surjectivité de ρ p , Constante de Manin C. Du côté des calculs D. T...

Les graphes de démonstration : outil pour l'étude des démonstrations naturelles