Page maintenue par ressayre@logique.jussieu.fr
 
 
 
 
 

                                                     Jean-Pierre RESSAYRE
 
 

 Office 5A19
 phone: +33 (0)1 44 27 79 52
 Fax : +33 (0)1 44 27 61 48
 ressayre@logique.jussieu.fr

                                                                                         Equipe de Logique Mathematique

 
 

Research interests :  Model Theory  and Games, in connection with  Theoretical Computer Science
 

Recent work of these kinds  (in collaboration with S. Boughattas, with J. Duparc and O. Finkel) :

BOOTSTRAPING

and its extended abstract  "NEW MODELS for BOUNDED INDUCTION AXIOMS"
(proposed as a contribution to JAF 21, St Petersburg 2002)

"WEAK ARITHMETICS"
[appeared in  TCS 257 (2001), p. 1-15]

"COMPUTER SCIENCE AND THE FINE STRUCTURE OF BOREL SETS"
[appeared in  TCS 257 (2001), p. 85-105]

 INFINITE GAMES: FROM LARGE CARDINALS TO EFFECTIVE CASES
[abstract]

Last revision : feb. 2, 2002.
 

Back to the Equipe de Logique page