Groupe de Contact en Logique Mathématique 11 janvier 2001 11h – 17h30 ULB – Campus Plaine Local 2NO906

PROGRAMME

Si vous désirez participer à cette réunion, et prendre part au repas, faites-le savoir (si possible par email) à

Christian Michaux

christian.michaux@umh.ac.be

Service de Logique Mathématique et Algèbre
Institut de Mathématique et d'Informatique
Université de Mons-Hainaut
Bâtiment “Le Pentagone”
Avenue du Champ de Mars 6
B-7000 Mons (Belgique)

VOTRE INSCRIPTION AU DINER DOIT NOUS PARVENIR AU PLUS TARD LE 9 JANVIER MIDI.

Résumés:

• Pascal KOIRAN et Natacha PORTIER (ENS Lyon) Les courbes génériques: théorie, applications et algorithme de décision I et II

  Sur le corps ordonné des réels, les ensembles ouverts (ou fermés) du plan sont caractérisés par une formule du premier ordre évidente. Mais dans un corps algébriquement clos, existe t-il une formule qui reconnaisse les ensembles fermés parmi les constructibles ? Pour répondre à cette question on a du introduire une nouvelle théorie complète (la limite des théories de courbes génériques) qui sera l'objet principal de ces deux exposés.

Retour à la page de garde / Back to the homepage
Cette page a été consultée fois / This page has been accessed times.