page d'accueil   sommaire   faculté  
Logique mathématique [Mathematical logic] (LOGMATH)
Faculté des Sciences - Mathématiques (unité ULB174)

Recherche en logique mathématique : théories des ensembles, théorie des modèles,logiques non-classiques,informatique théorique . [Research in mathematical logic :set theories, model theory ,non-classical logics , theoretical computer science .]

coordonnées


Logique mathématique [Mathematical logic]
tel +32-2-650.58.46, fax +32-2-650.58.67, rhinnion@ulb.ac.be
Campus de la Plaine, campus Plaine , bâtiment NO , niveau 7 , bureaux 2-O7-108 & 201
CP211, boulevard du Triomphe, 1050 Bruxelles



responsable


Prof. Roland HINNION


composition


Olivier ESSER Thierry LIBERT


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

publications





theses


Thierry LIBERT : ''More studies on the axiom of comprehension'' (2004), Dir.R.Hinnion ,Dept Math, ULB, 2004

DUBY , Grégory : ''Generic automorphisms of 1-homogeneous coloured orders and existence of omega-maximal automorphisms in countable arithmetically saturated structures''.Promoteurs : Françoise POINT & Roland HINNION, 2003

Armin RIGO : ''Uniformly Continuous Model Theory'' (2002),Dir.R.Hinnion,Dept Math,ULB, 2002

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

POINT,Françoise : ''On some questions about the combinatorial theory of groups, decidability results for theories of modules'', Dir. Prof. Maurice BOFFA, 1994

collaborations


Prof. Marco Forti, Université de Pise, Istituto de Matematiche Applicate U. Dini, Pise, Italie

Thomas FORSTER, Université de Cambridge, Math, Cambridge, Grande-Bretagne

prix


Referee pour des revues de haut niveau (Journal of Symbolic Logic, Zeitchrift fur Math. Logik und Grundlagen der Math.). - Olivier ESSER Roland HINNION Thierry LIBERT

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 - Roland HINNION

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



mots clés compréhensibles déclarés


grands cardinaux logiques non-classiques modèles topologiques,modèles de termes problèmes de consistance théories ensemblistes


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