Séminaire interuniversitaire de
logique mathématique
(3ème cycle FNRS)

Programme de 1996-97

• Jeudi 3 octobre 1996 à 14h30
  O. Esser : Équiconsistance d'une théorie positive avec une extension de la théorie de Kelley-Morse.
   
  

• Jeudi 10 octobre 1996 à 14h30
  O. Esser : Équiconsistance d'une théorie positive avec une extension de la théorie de Kelley-Morse (suite).
   
  
• Jeudi 17 octobre 1996 à 14h30
  E. Graedel (RWTH Aachen) : The Classical Decision Problem.
   
  
• Jeudi 24 octobre 1996 à 14h30
  F. Point (UMH) : Croissance asymptotique des groupes finis
   
  
• Jeudi 31 octobre 1996 à 14h30
  M. Otto (RWTH Aachen) : Decidability and undecidability for logics with two variables
   
  
• Jeudi 7 novembre 1996 à 14h30
  A. Maes (UMH) : Extension de l'arithmétique de Presburger par des prédicats presque périodiques (d'après Semënov)
   
  
• Jeudi 14 novembre 1996 à 14h30
  Chr. Michaux (UMH) : Elimination des quantificateurs dans les réels (d'après Muchnik-Semënov)
   
  
• Jeudi 21 novembre 1996 à 14h30
  M.-H. Mourgues (Paris VII) : Séries entières convergentes sur les corps de séries formelles
   
  
• Jeudi 28 novembre 1996 à 14h30
  L. Vanderputten (UCL) : Espaces mesurés de Loeb en analyse non standard
   
  
• Jeudi 5 décembre 1996 à 14h30
  L. Vanderputten (UCL) : Espaces mesurés de Loeb en analyse non standard (suite)
  EXPOSÉ ANNULLÉ
   
  
• 12 et 13 décembre 1996 :
  13e journées sur les arithmétiques faibles à Metz
   
  
• Jeudi 19 décembre 1996 à 14h30
  R. Hinnion (ULB) : Mesurabilité et ramifiabilité généralisées pour des ensembles dirigés
   
  
• Jeudi 23 janvier 1997 à 14h30
  A. Mancini (Sienne) : Tennenbaum's theorem in set theories.
   
  
• Jeudi 30 janvier 1997 à 14h30
  O. Esser (ULB) : Recouvrement de groupes commutatifs.
   
  
• Jeudi 6 février 1997 à 14h30
  A. Maes (UMH) : Trois preuves de l'indécidabilité de (N,+,P_m,r).
   
  
• Jeudi 13 février 1997
  Pas d'exposé.
   

Du 20 février au 27 mars 1997, K. Meer (RWTH Aachen et invité FNRS à Mons) a donné une série d'exposés dans le cadre du séminaire et du DEA interuniversitaire en mathématiques, chaque jeudi, le matin et l'après-midi. Les exposés de l'après-midi pouvaient être suivis indépendamment de ceux du matin; ils étaient cependant un peu plus spécialisés. Le programme en était à peu près le suivant :

• Jeudi 20 février 1997
  11h00 : Theorem of Sturm, Rule of Descartes; both address the question of how many zeros a univariate real polynomial has.
  14h30 : Short introduction into BSS theory, classes P and NP over R; importance of the question how to solve polynomial systems.
   
  

• Jeudi 27 février 1997
  11h00 : Univariate Resultants and Subresultants, semi-algebraic sets; sign-conditions.
  14h30 : Algorithm of Coste and Roy (resp. Ben-Or, Kozen, Reif) for determining the number of solutions of univariate polynomial (inequality) systems.
   
  
• Jeudi 6 mars 1997
  11h00 : Theorem of Tarski (proof à la Hoermander).
  14h30 : Structure Theorem for semi-algebraic sets.
   
  
• Jeudi 13 mars 1997
  11h00 : Basic algebraic geometry: "Hilbert Nullstellensatz" and "Hilbert Basissatz".
  14h30 : Algorithms of Collins and Renegar for the existential theory over the reals.
   
  
• Jeudi 20 mars 1997
  11h00 : Groebner basis: basic definitions and properties.
  14h30 : Continuation of Renegar's algorithm.
   

• Jeudi 27 mars 1997
  11h00 : Algorithm of Buchberger.
  14h30 : Lower bounds.

• Mercredi 16 avril 1997 à 14h00 à l'ISIL

  • A. Petry (ISIL) : Une introduction aux méthodes non standard, envisagée dans le cas d'un espace métrique.
    
  • V. Benci (Pise) : Nonstandard Analysis in the Extended Universe.
   
   
   
   
   
  
• Jeudi 17 avril 1997 à 14h30
  G. Hansoul (ULg) :Dualité de Priestley pour demi-treillis distributifs.
   
  
• Jeudi 17 avril 1997 à 14h30
  Ph. Niederkorn (ULg) :Dualités naturelles.
   
  
• Jeudi 15 mai 1997 à 14h30
  T. Pheidas (Heraklion et Gent) :A survey on Hilbert 10th problem.
   
  
• Jeudi 17 avril 1997 à 14h30
  P. Simonetta (Paris 7) :Théorie des groupes dans un langage restreint aux commutateurs.