page d'accueil   sommaire  

Olivier ESSER


coordonnées


Olivier ESSER
tel +32-2-650.58.31, fax +32-2-650.58.67, olivieresser@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...)]



theses


ESSER, Olivier ''Interprétations mutuelles entre une théorie positive des ensembles et une extension de la théorie de Kelley-Morse'', Dir. Prof. M. Boffa, Département de Mathématique, ULB, Bruxelles, 1997



prix


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



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