Sedki Boughattas

Publication Activity (10 Years)

Years Active: 1991-2010
Publications (10 Years): 0

Publications

Sedki Boughattas, Leszek Aleksander Kolodziejczyk
The strength of sharply bounded induction requires MSP. Ann. Pure Appl. Log. 161 (4) (2010)
Sedki Boughattas, Jean-Pierre Ressayre
Bootstrapping, part I. Ann. Pure Appl. Log. 161 (4) (2010)
Sedki Boughattas, Jean-Pierre Ressayre
Arithmetization of the field of reals with exponentiation extended abstract. RAIRO Theor. Informatics Appl. 42 (1) (2008)
Sedki Boughattas
Trois Theoremes Sur L'Induction Pour Les Formules Ouvertes Munies De L'Exponentielle. J. Symb. Log. 65 (1) (2000)
Sedki Boughattas
Resultats Optimaux sur L'Existenece d'une Partie Entiere dans les Corps Ordonnes. J. Symb. Log. 58 (1) (1993)
Sedki Boughattas
L'Arithemétique Ouverte et ses Modèles Non-Standards. J. Symb. Log. 56 (2) (1991)