L'épreuve publique pour l'obtention du grade de Docteur en Sciences de Arnaud MAES aura lieu le:
VENDREDI 29 JANVIER 1999 à 15h30
en l'auditoire 76 du Chaville I,
Avenue Maistriau 15 à 7000 Mons.
Il présentera et défendra publiquement une dissertation originale intitulée:
"Prédicats morphiques et applications à la
décidabilité de théories arithmétiques"
"Morphic predicates and applications to the decidability of
arithmetic theories"
(un résumé est accessible)
et une thèse annexe intitulée:
"La construction d'Edwards d'un diagramme de Venn à
plusieurs ensembles
donne une projection d'un entrelacs borroméen satisfaisant
à la propriété brunnienne"
"Edwards' construction of a Venn diagram with several sets
gives a projection
of a Borromean link satisfying the Brunnian property"
(Directeurs de thèse: M. Boffa, Ch. Michaux)
Retour à la page de bienvenue d'Arnaud
Maes...
Visitez notre Institut
de Mathématique et d'Informatique ou son équipe de Logique
Mathématique...
This page has been accessed times.