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...)]

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

Citations dans des livres de logique mathématique: T.Forster : ''Set theory with a Universal Set'',Oxford Logic Guides,31,Cambridge University Press,1995. M.R.Holmes: '' Elementary set theory with a universal set'',Cahiers du Centre de Logique,10,Academia Bruylant 1998. P.Aczel : ''Non-well-founded sets'',CSLI Lecture Notes,Stanford 1988

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