page d'accueil   sommaire  

Roland HINNION


coordonnées


Faculté des Sciences
Roland HINNION
tel 02 650 58 46, fax 02 650 58 67, Roland.Hinnion@ulb.ac.be
Campus de la Plaine
CP211, boulevard du Triomphe, 1050 Bruxelles



unités de recherche


Logique mathématique [Mathematical logic] (LOGMATH)
Unité de recherche sur l'enseignement des mathématiques [Unit of Research in Mathematical Education] (U.R.E.M.)



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

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



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