Silvain Rideau

Adresse mail:

nom [point] prenom [a] ens [point] fr

Quelques trucs (mathématiques) que j'ai écrits :

• Un texte sur l'élimination des imaginaires dans les extensions finies des corps p-adiques (c'est la version complètée de mon mémoire de M2, avec une une version un peu étendue du théorème).
• Mon mémoire de magistère qui contient tout ce que j'ai écrit mes trois premières années l'ens. En particulier et dans le désordre :
  • Une introduction à mon domaine de recherche
  • Mon mémoire de M2
  • Un texte sur les types stablement dominés dans les corps valués algébriquement clos.
  • Mon exposé de maitrise sur la non-démonstrabilité de la terminaison des suites de Goodstein dans l'arithmétique de Peano (écrit avec Gabriel Scherer). On y trouve aussi une démonstration du théorème de Gentzen, une introduction à la théorie des ordinaux et diverses élucubrations.
  • Mon rapport de stage avec Glynn Winskel sur les jeux concurents, et l'article qui va avec.
  • Mon rapport de stage avec Xavier Leroy sur la validation a posteriori de l'allocation de registres, et l'article qui va avec.
  Un texte sur le topos effectif.
  • Un texte sur la modélisation de la mémoire immédiate, écrit avec Jérome Casse.
  • Un texte sur le codage.