Recherche en Logique Mathématique
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...).

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