Informations concernant le
« Diplôme d'Etudes Approfondies en Mathématiques »
 2001-2002

Résumé de la section Logique Mathématique

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 (UMH–ULB), 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:

  • T.E. Foster, Set theory with a universal set, Oxford Univ. Press, 2nd ed., 1995.

  • M.R. Holmes, Elementary set theory with a universal set, Cahiers du Centre de Logique, UCL, Département de philosophie, Louvain-la-Neuve, vol. 10, 1998.

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. 33–58).

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 (UMH–ULB, 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