page d'accueil   sommaire  

Thierry LIBERT


coordonnées


Faculté des Sciences
Thierry LIBERT
tel 02 650 58 36, fax 02 650 58 67, Thierry.Libert@ulb.ac.be
Campus de la Plaine
CP211, boulevard du Triomphe, 1050 Bruxelles



unités de recherche


Logique mathématique [Mathematical logic] (LOGMATH)



projets


Recherche en Logique Mathématique [Research in Mathematical Loqic]
Diverses théories des ensembles (ensembles non-bien fondés,positifs,partiels,paradoxaux,...,le système NF de Quine), la théorie des modèles (modèles topologiques,modèles de termes,...),et des logiques non-classiques (logiques paraconsistantes,paracomplètes,etc...). [Several set theories (non-well-founded sets,positive sets,partial sets,paradoxical sets,...,Quine's NF),model theory (topological models,term models,...),and non-classical logics (paraconsistent,paracomplete,etc...)]



prix


Referee pour des revues de haut niveau (Journal of Symbolic Logic, Zeitchrift fur Math. Logik und Grundlagen der Math.).

Co-éditeur (avec D. van Daleen et K. McAloon) de "Logic Colloquium '78", (Proceedings of the ASL Colloquium North-Holland, 1979



disciplines et mots clés déclarés


Informatique mathématique Logique mathématique Théorie des ensembles et catégories

ensembles non-bien-fondés ensembles paradoxaux ensembles partiels modèles de termes modèles topologiques ramifiabilité système nf de quine théorie positive des ensembles