|
||
Informations concernant le
|
||
|
Cours
Titulaire : G. Hansoul (Ulg)
Titre : Topologie & algèbre Booléennes
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 classiques
Durée : 30h - Quadrimestre : 1
Lieu, date et heure du premier cours : ULg, Institut de Mathématique (B37) Sart Tilman.
Titulaires : M. Boffa (UMHULB), M. Crabbé (UCL), R. Hinnion (ULB), A. Pétry (ISIL)
Titre : Théorie des ensembles
de Quine
Résumé :
Description de la théorie des ensembles de Quine (NF)
Références: |
|
Durée : 30h - Quadrimestre : 1 et 2
Lieu, et heures: ULB, les jeudis de 11 à 12h30.
Premier cours : Jeudi 4 octobre 2001 à 11h, ULB, local 2NO906.
Titulaire : J.-R. Roisin
Titre : Topos et logique du premier ordre
Résumé :
Promenade dans Sheaves in Geometry and Logic de S. MacLane et I. Moerdijk (Springer 1992) avec comme objectif principal la compréhension des résultats du chapitre X Geometric Logic and Classifying Topoi. On poursuivra par l'étude de Classifying toposes for first order theories de C. Butz et P. Johnstone (Annals of Pure and Applied Logic, 1998, vol. 91, pp. 3358).
Durée : 30h - Quadrimestre : 2
Lieu, date et heure du premier cours : UCL, Département de mathématique, local CYCL 06, Premier lundi du deuxième quadrimestre à 17h.
Séminaires
Titulaires : M. Boffa (UMHULB, coordonnateur), M. Crabbé, J. Drabbe, G. Hansoul, R. Hinnion, Th. Lucas, C. Michaux, F. Point
Titre : Logique mathématique
Durée : 30h
Lieu, et heures: ULB, les jeudis de 14h30 à 162h.
Premier cours : Jeudi 4 octobre 2001 à 14h30, ULB, local 2NO906.
Titulaires : M. Boffa, C. Finet, C. Michaux (UMH)
Titre : Analyse et logique
Durée : 15h
Informations : Contacter C. Finet <finet@umh.ac.be>
You may also be interested in looking at
the Seminars in Logic section.