MATHÉMATIQUES LMD

MIASHS L1

Mise à jour le 3 Avril 2016

MM1

Mise à jour le 26 Novembre 2013

LOGIQUE LICENCE MATH-INFO

Mise à jour le 3 Mai 2013

Publications


Publications in journals:
- S. Boughattas, L. A. Kolodziejczyk, The strength of sharply bounded induction requires MSP, APAL 161 (2010) 504-510 [PDF]
- S. Boughattas, J. P. Ressayre, Bootstrapping Part I, APAL 161 (2010) 511-533 [PDF]
- S. Boughattas, J. P. Ressayre, On the arithmetization of real fields with exponentiation, Studies in Weak Arithmetic, volume 196 de CSLI Lecture Notes. Stanford, (2009). [PDF]
- S. Boughattas, J. P. Ressayre, Arithmetization of the field of reals with exponentiation, RAIRO-Theor. Inf. Appl. 42 (2008) 105-119 [PDF]
Preprint:
- S. Boughattas, J. P. Ressayre, Bootstrapping Extended [PDF]


Liens

Equipe de Logique Paris 7

Journées d'Aritmétique Faibles 2011 : JAF 30, 20-22 juin 2011, Paris.

Hello World