Cours
- Titulaires : M. Boffa, J. Drabbe, C. Michaux (Mons), F. Point (Mons)
Titre : Questions approfondies de Logique Mathématique
Résumé :
Groupes libres non standard (d'après I.M. Chiswell, Non-standard free groups, LMS Lect. Notes Ser. 244, p. 153-165, Cambridge Univ. Press, 1997).
Questions de théorie descriptive des ensembles (d'après A. Levy, Basic Set Theory, serie
Perspectives in Mathematical Logic, Springer Verlag, 1979; A. Kechris, Classical Descriptive Set Theory, Graduate Text in Mathematics 156, Springer Verlag, 1995; Y.N. Moschovakis, Descriptive Set Theory, North Holland 1980).
Durée : 30h - Quadrimestre : 2
Lieu, date et heure du premier cours : ULB
Titulaire : G. Hansoul
Titre : Topologie & Algèbre Booléenne
Résumé :
1) Dualité de Stone pour les algèbres de Boole
2) Le cas dénombrable : critère díisomorphie de Vaught
3) Application aux algèbres de formules
4) Extension à des logiques non classiquesDurée : 30h - Quadrimestre : 1
Lieu, date et heure du premier cours : ULg, Institut de Mathématique (B37) Sart Tilman, local 055, Mardi 12 octobre 1999 à 11h.
Séminaires
Titulaires : M. Boffa (UMH-ULB, coordonnateur), M. Crabbé, J. Drabbe, G. Hansoul, R. Hinnion, Th. Lucas, C. Michaux, F. Point
Titre : Logique mathématique
Durée : 30h
Titulaires : M. Boffa, C. Finet, C. Michaux (UMH)
Titre : Analyse et logique
Durée : 15h - Quadrimestre : 1
Date du premier cours : mi-octobre 1999
Titulaires : F. Borceux (UCL, coordonnateur), Th. Lucas, J.-R. Roisin
Titre : Théorie des catégories et logique
Durée : 30h
You may also be interested in looking at
the Seminars in Logic section.
Back to Mathematical Logic at the University
of Mons-Hainaut
This page has been accessed times.