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]