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.